ユークリッド空間の点集合論.