Jika \([x_1]=[x_2]\text{,}\) maka \(x_1\sim x_2\text{,}\) sehingga \(f(x_1)=f(x_2)\text{.}\) Jadi nilai \(\overline f([x])\) tidak bergantung pada wakil yang dipilih.