pseudonormal space

topological space in which two disjoint closed sets, at least one of which is countable, are separable by neighborhoods