Normal

For any two disjoint closed sets, there are disjoint open sets containing each set.