Essa é uma revisão anterior do documento!

Seja $(X, \tau)$ um espaço $T_2$. Temos abertos $A$ e $B$ disjuntos tais que $x \in A$ e $y \in B$ para quaisquer $x, y \in X$. Além disso, $A \cap B = \emptyset$. Então, de imediato, $y \notin A$.