Category:Definitions/T0 Spaces

This category contains definitions related to $T_0$ (Kolmogorov) spaces in the context of topology.
Related results can be found in Category: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$