距離
素朴に「距離」という言葉でイメージするものより要件が厳しい
非負性
対称性
非退化性
三角不等式
https://ja.wikipedia.org/wiki/距離空間