Pada relasi balik, masukan \(1\) mempunyai keluaran \(-1\) dan \(1\text{,}\) sedangkan masukan \(4\) mempunyai keluaran \(-2\) dan \(2\text{;}\) syarat ketunggalan fungsi gagal. Suatu pembatasan bijektif harus memilih satu prapeta bagi masing-masing \(0,1,4\text{.}\) Pilihan \(\{0,1,2\}\) melakukan tepat itu, sehingga pembatasannya injektif dan surjektif. Ukuran \(3\) maksimal karena kodomain hanya mempunyai tiga unsur.