T0 space (source code)

= T0 space
{title2=$T_0$}
{wiki=Kolmogorov_space}

= Kolmogorov space
{c}
{synonym}

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