Axioms
T0,
T1,
Hausdorff,
T3,
T4,
T5,
Completely Hausdorff,
T3.5,
Urysohn,
Semiregular,
Perfectly Normal,
Separable,
Second Countable,
First Countable,
Lindelof,
Compact,
Sigma-Compact,
Countably Compact,
Sequentially Compact,
Limit Point Compact,
Pseudocompact,
Locally Compact,
Strongly Locally Compact,
Connected,
Path Connected,
Arc Connected,
Locally Connected,
Locally Path Connected,
Metrizable,
Totally Pathwise Disconnected,
Totally Disconnected,
and
Totally Separated.