\begin{definition}[Definition:Second-Countable Space]
A topological space $T = \struct {S, \tau}$ is '''second-countable''' or '''satisfies the Second Axiom of Countability''' {{iff}} its topology has a countable basis.
\end{definition}