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.