Proof That a Subspace of a First Countable Set is First Countable


A subspaceof a first countable setis also first countable.


Letbe a first countable space and letbe a subspace.

LetBy hypothesisis first countable, so a countable basisin exists.

For eachdefine

Then eachis open inand form alocal subbase at

The setis countable. Henceis a first countable space.