Definition: First-Countability Axiom
A topological space is first-countable iff there exists a countable neighbourhood basis for it at every point.
Definition: First-Countability Axiom
A topological space is first-countable iff there exists a countable neighbourhood basis for it at every point.