Definition:First-Countable Space

Definition
A topological space $\left({X, \vartheta}\right)$ is first-countable or satisfies the First Axiom of Countability if every point in $X$ has a countable local basis.

Also see

 * Countability Axioms