Second-countable space

Like other countability axioms, the property of being second-countable restricts the number of open sets that a space can have.

For example, Euclidean space (Rn) with its usual topology is second-countable.

Although the usual base of open balls is uncountable, one can restrict to the collection of all open balls with rational radii and whose centers have rational coordinates.

For example, the lower limit topology on the real line is first-countable, separable, and Lindelöf, but not second-countable.

For metric spaces, however, the properties of being second-countable, separable, and Lindelöf are all equivalent.

Urysohn's metrization theorem states that every second-countable, Hausdorff regular space is metrizable.

Second-countability is therefore a rather restrictive property on a topological space, requiring only a separation axiom to imply metrizability.