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 neighborhood basis.

Also see

 * Countability Axioms