空间是每个开覆盖都有可数子覆盖的拓扑空间。注意紧空间的定义为每个开覆盖都有"有限"子覆盖，故林德勒夫空间可视为紧空间的推广。