Completely normal space

Summary

A completely normal space is a topological space in which every subspace is normal. Equivalently, any two separated sets, where neither meets the closure of the other, lie in disjoint open sets. Normality is not inherited by subspaces in general, so this is a real strengthening. A completely normal $T_1$ space is called a $T_5$ space.