# Modified Fort Space is not Totally Separated

## Theorem

Let $T = \struct {S, \tau_{a, b} }$ be a modified Fort space.

Then $T$ is not totally separated.

## Proof

We have:

Totally Separated Space is Completely Hausdorff and Urysohn
Completely Hausdorff Space is Hausdorff Space

But we have:

Modified Fort Space is not Hausdorff

The result follows from Modus Tollendo Tollens.

$\blacksquare$