Nested neighbourhood basis
A nested (open) neighbourhood basis is a useful construction in many proofs involving the First countability axiom
since whenever the axiom holds it is possible to construct such a neighbourhood basis and it has the property that
Construction
Let
a countable open neighbourhood basis of . We define a new nested open neighbourhood basis recursively so that and .