Tahap 1. Dua fungsi sama jika nilainya sama pada setiap masukan.

Tahap 2. Ambil \(x\in X\) dan hitung dahulu \(p(x)\text{.}\)

Tahap 3. Masukkan kelas \([x]\) itu ke definisi \(\overline f\text{.}\)