# Perfectly-normal space

A normal space in which every closed subset is a $G_\delta$-set (cf. Set of type $F_\sigma$ ($G_\delta$)).