Every subspace of a first countable space is first countable.