Satisfaz $T_{3 \frac{1}{2}}$ e é Tychonoff

Demonstração:

O espaço de Arens-Fort é normal, então é completamente regular e, como satisfaz $T_1$, é Tychonoff.