Countability axioms in topology

	Main Article	Discussion	Related Articles  [?]	Bibliography  [?]	External Links  [?]	Citable Version  [?]
	This editable Main Article is under development and subject to a disclaimer. [edit intro]

Countability axioms in topology are properties that a topological space may satisfy which refer to the countability of certain structures within the space.

A separable space is one which has a countable dense subset.

A first countable space is one for which there is a countable filter base for the neighbourhood filter at any point.

A second countable space is one for which there is a countable base for the topology.

The second axiom of countability implies separability and the first axiom of countability. Neither implication is reversible.