正则空间的超空间中初始m紧性与局部初始m紧的等价性

设m≥(?)_0,拓扑空间X称为初始m紧的,只要每一个基数不超过m的开覆盖有有限子覆盖。在本文中设X为正则空间,2~X表示X中所有非空闭子集合,赋与有限拓扑。