generated at
距離空間
metric space
台集合S距離関数dの2つ組(S,d)のことを距離空間という