ユークリッド空間
をユークリッド空間とする。 の異なる二点 に対して、 の部分集合