Tahap 1. Satu kelas dapat mempunyai banyak wakil; ambil dua wakil \(x_1\) dan \(x_2\) dari kelas yang sama.

Tahap 2. Terjemahkan persamaan \([x_1]=[x_2]\) menjadi hubungan antara \(x_1\) dan \(x_2\text{.}\)

Tahap 3. Terapkan hipotesis bahwa \(f\) konstan pada setiap kelas ekuivalensi.