For any point and closed set not containing the point, there are disjoint open sets containing the point and the closed set.