Topology Database
Login
spaces
axioms
theorems
search
space table
Perfectly Normal
Description: A normal space (i.e., $T_1$ and $T_4$) where every closed set is a $G_\delta$.