lemma that a topological space is normal iff any 2 disjoint closed subsets can be separated by a continuous function
via Wikidata · CC0
Функциональная отделимость — свойство пары подмножеств топологического пространства.
Abstract from DBpedia / Wikipedia · CC BY-SA
via Wikidata sitelinks · CC0
Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).