Ontify
Normal space in which disjoint neighborhoods of disjoint closed sets can be chosen "monotonically".
Wikidata