Hereditarily normal space
= Hereditarily normal space
A space is hereditarily normal when every subspace is a <normal topological space>. This is stronger than normality: arbitrary subspaces need not be closed. Every <perfectly normal space> is hereditarily normal.