Contoh

Tentukan sifat-sifat yang dimiliki oleh relasi berikut ini.

Dengan menggunakan garis horisontal, kita kunjungi masing-masing anggota kodomain.

Ternyata ketika kita kunjungi p, q, maupun r, garis horisontal selalu melewati titik. Berarti relasi ini total kanan.

Terlihat juga ketika kita kunjungi p, q, maupun r, garis hanya melewati titik masing-masing 1. Sesuai sifat unik kiri, yaitu masing-masing anggota kodomain tidak terhubung lebih dari 1 anggota domain, berarti relasi ini unik kiri.

Jadi relasi ini bersifat total kanan dan unik kiri tetapi tidak total kiri dan tidak unik kanan. Buktikan dua sifat yang disebut terakhir.

Berikutnya: Relasi biner