Petunjuk N.19.1.

Tahap 1. Untuk sifat refleksif, gunakan pemetaan identitas suatu ruang metrik.
Tahap 2. Untuk sifat simetris, ambil invers suatu isometri.
Tahap 3. Untuk sifat transitif, komposisikan dua isometri.
in-context