d(f(⟨x,y⟩),f(⟨z,w⟩)) ≤ d(⟨x,y⟩,⟨z,w⟩)
d(x,z) ≤ d(f(⟨x,y⟩),f(⟨z,w⟩))
d(y,w) ≤ d(f(⟨x,y⟩),f(⟨z,w⟩))