フレシェ空間
さらに "X" が距離化可能ならば "X"/"M" もそうであり、"X" がフレシェ空間ならば "X"/"M" もそうである 。