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