Langkah 1. Untuk setiap \(a\in A\text{,}\) berlaku \(d(x,a)\leq d(x,y)+d(y,a)\text{.}\)

Langkah 2. Ambil infimum terhadap \(a\text{,}\) lalu ulangi dengan menukar \(x\) dan \(y\text{.}\)