===== $\mathbb{N}^{\mathbb{N}}$ satisfaz $T_4$ e é normal ===== \\ Todo espaço regular e de Lindelöf é normal --- portanto, satisfaz $T_4$.