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 whenever .

Construction

Let a countable open neighbourhood basis of . We define a new nested open neighbourhood basis recursively so that and .

#state/tidy | #lang/en | #SemBr