Category:T0 Spaces

This category contains results about $T_0$ (Kolmogorov) spaces in the context of topology.
Definitions specific to this category can be found in Definitions/T0 Spaces.

$\struct {S, \tau}$ is a Kolmogorov space or $T_0$ space if and only if:

$\forall x, y \in S$ such that $x \ne y$, either:

$\exists U \in \tau: x \in U, y \notin U$

or:

$\exists U \in \tau: y \in U, x \notin U$