Sejam $ x,y \in \{0,1\}^{\mathbb{N}} $ pontos disjuntos. Então existe $ n $ tal que $ x_{n} \neq y_{n} $. O conjunto $ A = p_{n}^{-1}[\{x_{n}\}] $ é aberto e tal que $ x \in A $ e $ y \notin A $. Segue que $ T_{1} $ é satisfeito.