In mathematics, in the field of topology, a topological space is said to be pseudonormal if given two disjoint closed sets in it, one of which is countable, there are disjoint open sets containing them.
In topology, a topological space is considered pseudonormal when for any two separated closed sets, with one set being countable, there are disjoint open sets that can enclose each of the sets.