Metric Spaces

d(A,B) ∈ [0,∞)
d(A,B)=0 iff A=B
d(A,B)=d(B,A)
d(A,C) ≤ d(A,B) + d(B,C)