If, furthermore, X is metrizable, then so is X/M. If X is a Fréchet space, then so is X/M (Dieudonné 1970, 12.11.3).
进一步，若X是可度量化的，则 X/M也是；如果X是弗雷歇空间，X/M（Dieudonné 1970，12.11.3）也是。