さらにXが距離化可能ならばX/Mもそうであり、Xがフレシェ空間ならばX/Mもそうである(Dieudonné1970,12.11.3)。
进一步，若X是可度量化的，则X/M也是；如果X是弗雷歇空间，X/M（Dieudonné1970，12.11.3）也是。