topological space such that every open cover has a countable subcover
数学におけるリンデレフ空間(リンデレフくうかん、英: Lindelöf space; リンデレーフ空間)は、任意の開被覆が可算部分被覆を持つような位相空間である。リンデレフ性は、有限部分被覆の存在を要求するコンパクト性の概念を弱めたものである。 強リンデレフ空間 (strongly Lindelöf) あるいは遺伝的リンデレフ空間 (hereditarily Lindelöf) は任意の開集合がリンデレフ、すなわち任意の部分空間にリンデレフ性が遺伝するような位相空間である。 リンデレフ空間の名称はフィンランドの数学者に因んで名づけられた。
Abstract from DBpedia / Wikipedia · CC BY-SA
via Wikidata sitelinks · CC0
Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).