\begin{definition}[Definition:First-Countable Space]
A topological space $T = \struct {S, \tau}$ is '''first-countable''' or '''satisfies the First Axiom of Countability''' {{iff}} every point in $S$ has a countable local basis.
\end{definition}