Lindelöf space 是每个开覆盖存在可数子覆盖的拓扑空间。它是 Compact space (每个开覆盖存在有限子覆盖的拓扑空间)的拓展。

一篇论文。