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)。