Pseudonormal space

Symbol-free definition
A topological space is said to be pseudonormal if it is T1 and given two disjoint closed subsets, at least one of which is countable, there are disjoint open sets containing them.

Stronger properties

 * Normal space

Weaker properties

 * Regular space