A countably normal space is a normal space where any countable collection of pairwise disjoint closed sets can be separated by open sets.
A countably normal space is a normal space where any countable collection of pairwise disjoint closed sets can be separated by open sets.