R1上の距離空間

「距離空間(R,d)」についてのノートのメンテ完了。