Definition: Second-Countability Axiom A topological space is second-countable iff it has a countable base.