另一方面，设拓扑空间X中的每一个非空闭集下降序列都有 非空的交如果X不是一个可数紧致空间，则X有一个可数开覆 盖，设为U1,U,…,没有有限子覆盖对于每一个i2,令 V=UU