Nearness functions

Topologies

Neighbourhoods

Topological distinguishability

Open sets

Open and closed sets

Limit points and closure

Boundries and interiors

Closed sets

Compactness

Covers

Bases of topologies

Separation

Connected and separated sets

Cartesian products

Box topology

Product topology

Creating topologies from sets

The trivial topology

Discrete topology

Taxonomy of spaces

Lindelöf space

Kolmogorov space

Local properties

Local properties

Locally compact spaces

Locally connected spaces

TO INF

Hausdorf space

Compact spaces