>>827-828
「線分」は線型空間上の概念で、単なる距離空間では定義されない。
位相線型空間であるユークリッド空間でなら、問題ないが。