normal space
topological space in which every pair of disjoint closed sets has disjoint open neighborhoods
long line
locally Euclidean topological space that is not paracompact
monotonically normal space
normal space in which disjoint neighborhoods of disjoint closed sets can be chosen "monotonically"