Description: If $a, b \in X$, there exist disjoint open sets $U_a$ and $U_b$ containing $a$ and $b$ respectively.