Kolmogorov space (source code)

= Kolmogorov space
{c}
{title2=$T_0$}
{wiki}

= T0 space
{synonym}

A topological space is $T_0$ when every pair of distinct points is distinguished by an <open set> containing exactly one of them.