距離空間の定義

$S$ $x,y\in S$ $d:S\times S \rightarrow \mathbb{R}$ $d(x,y) > 0$ $d(x,y) = d(y,x)$