Petunjuk L.76.1.

Tahap 1. Gunakan metrik diskret: jarak nol untuk titik yang sama dan satu untuk titik yang berbeda.
Tahap 2. Bola berjari-jari \(1/2\) di sekitar \(x\) adalah \(\{x\}\text{.}\)
in-context