M空間

設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是可度量化的.

^[1]