First Countability

- Mathematics & Logic -
Pure Mathematics Dictionary
Definition
A topological property: a space is first countable if every point has a countable local base (a countable neighborhood basis) at that point.