Tahap 1. Andaikan \(x\sim y\text{.}\)

Tahap 2. Pilih satu subhimpunan terhubung yang memuat keduanya.

Tahap 3. Urutan menyebut \(x\) dan \(y\) tidak mengubah keanggotaan dalam himpunan itu.