==== Espaço \(T_{3\frac{1}{2}}\) e completamente regular ====

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**.

=== Exemplos ===
  * [[topologia:exemplo:retademichael|Reta de Michael]].
  * [[topologia:exemplo:seqconv|Espaço da Sequência Convergente]].
  * [[topologia:exemplo:ventenum|Ventilador Enumerável]].
  * [[topologia:exemplo:espvent|Ventilador Não Enumerável]].