# Arens-Fort Space is T1

## Theorem

Let $T = \struct {S, \tau}$ be the Arens-Fort space.

Then $T$ is a $T_1$ (Fréchet) space.

## Proof

We have that the Arens-Fort Space is Completely Hausdorff.

$\blacksquare$