# Fort Space is T0

## Theorem

Let $T = \left({S, \tau_p}\right)$ be a Fort space on an infinite set $S$.

Then $T$ is a $T_0$ (Kolmogorov) space.

## Proof

Follows directly from:

Fort Space is $T_1$
$T_1$ (Fréchet) Space is $T_0$ (Kolmogorov) Space

$\blacksquare$