「可算コンパクト空間」の版間の差分

 

==同値な定義==

*[[閉集合]]からなる可算な[[集合族]] ''A''⊂P(X) が <math>\bigcap A = \emptyset</math> を満たすならば、ある有限部分集合 ''B''⊂''A'' が存在して <math>\bigcap B = \emptyset</math>。