Normal space

A topological space \(X\) is normal if for all disjoint closed subsets \(A, B\subseteq X\) there exist disjoint open sets \(U, V\subseteq X\) with \(A\subseteq U\) and \(B\subseteq V\).