设X为拓扑空间.称X为M空间，若存在X的开覆盖列{定云了、}满足:

1.对于任意i产丫汁1是哪的星加细.

2.对于任意二EX与任意i，二E ('(二)，点列{二}在X中有聚点.

空间X是M空间，当且仅当X是某度量空间在拟完全映射下的原像.X是仿紧M空间，当且仅当X是某度量空间在完全映射下的原像.M空间不是有限可积的，但可数多个仿紧M空间的积空间是仿紧M空间.若X同时是M空间与a空间，则X是可度量化的.