Dizemos que um espaço topológico $(X,\tau)$ é $T_{3\frac{1}{2}}$ se, para todo $x \in X$ e $F \subset X$ fechado tal que $x \notin F$ existir $f: X \rightarrow [0,1]$ contínua tal que $f(x) = 0$ e $f(y) = 1$, para todo $y \in F$. Caso o espaço $(X,\tau)$ também seja $T_1$, dizemos que é um espaço completamente regular ou espaço de Tychonoff.

• Reta de Michael.
• Espaço da Sequência Convergente.
• Ventilador Enumerável.
• Ventilador Não Enumerável.