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.