فضای تابعی
type: Concept
preferred label: function space @en
related: قضیه لیندلوف

پوشش باز
type: Concept
preferred label: open covering @en
related: قضیه لیندلوف

قضیه لیندلوف
type: Concept
broader: توپولوژی عمومی
preferred label: Lindelof theorem @en
related: پوشش باز
related: فضای تابعی
scope note: اگر توپولوژی یک فضا دارای پایه ای شمارا باشد، زیر پوششی شمارا از هر پوشش باز زیر مجموعه ای، از آن فضا وجود دارد.

توپولوژی عمومی
type: Concept
narrower: قضیه لیندلوف
preferred label: general topology @en