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. Note the following:
An example of a pseudonormal Moore space that is not metrizable was given by, in connection with the conjecture that all normal Moore spaces are metrizable.[1]