Door space


In mathematics, in the field of topology, a topological space is said to be a door space if every subset is either open or closed. The term comes from the introductory topology mnemonic that "a subset is not like a door: it can be open, closed, both, or neither".
Here are some easy facts about door spaces:
To prove the first assertion, let X be a Hausdorff door space, and let x ≠ y be distinct points. Since X is Hausdorff there are open neighborhoods U and V of x and y respectively such that U ∩ V = ∅. Suppose y is an accumulation point. Then U \ ∪ is closed, since if it were open, then we could say that = ∩ V is open, contradicting that y is an accumulation point. So we conclude that as U \ ∪ is closed, X \ is open and hence = U ∩ is open, implying that x is not an accumulation point.