T5

Description: If $A$ and $B$ are separated sets in $X$ (that is, $\bar{A} \cap B = A \cap \bar{B} = \varnothing$), there exist disjoint open sets $U_A$ and $U_B$ containing $A$ and $B$ respectively.