اگر توپولوژی یک فضا دارای پایه ای شمارا باشد، زیر پوششی شمارا از هر پوشش باز زیر مجموعه ای، از آن فضا وجود دارد.
پوشش باز
open covering
function space
فضای تابعی
general topology
توپولوژی عمومی
Lindelof theorem
قضیه لیندلوف