mathswitch — infrastructure for relaying and exchanging mathematical concepts

monotonically normal space

normal space in which disjoint neighborhoods of disjoint closed sets can be chosen "monotonically"

Wikipedia (English): Monotonically_normal_space
Wikidata: monotonically normal space