Also known as T3½ space, Tychonoff space
topological space in which a point and a closed set are separable by a real-valued continuous function
via Wikidata sitelinks · CC0
Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).