A perfectly normal space is a normal space where any two disjoint closed sets can be separated by a zero set (i.e., a set that is the intersection of a countable family of open sets).
A perfectly normal space is a normal space where any two disjoint closed sets can be separated by a zero set (i.e., a set that is the intersection of a countable family of open sets).