Idemo ponovo.
Imaš skup [inlmath]M=\{1,2\}[/inlmath].
Nad njim si definisao relaciju [inlmath]\left\{\left(1,1\right),\left(1,2\right),\left(2,2\right)\right\}[/inlmath]. Dalje, da li su ovde svi elementi skupa [inlmath]M[/inlmath] u relaciji sa samim sobom? Jesu, to je jedini uslov za konstantovanje da je neka relacija refleksivna. Tebe verovatno zbunjuje uređeni par [inlmath](1,2)[/inlmath]. Ali definicija ne daje određenja tipa da se u refleksivnoj relaciji moraju naći samo uređeni parovi [inlmath]{(1,1),(2,2)}[/inlmath], već
pored njih tu još može biti bilo šta drugo.
Zamisli sledeće. Malo je glup primer, ali ne mogu da se setim pametnijeg. Imaš osobu [inlmath]A[/inlmath] i psa. Pravimo binarnu relaciju relaciju [inlmath]\text{VOLI}[/inlmath].
I sad, pošto svaki čovek treba da voli sebe (ne previše
) i pretpostavimo da to isto znaju i psi. Relacija [inlmath]\text{VOLI}=\{(A,A),(\text{pas},\text{pas})\}[/inlmath]. To ne sprečava i da [inlmath]A[/inlmath] voli [inlmath]\text{psa}[/inlmath] tj, da taj uređeni par dodamo u pomenutu relaciju. Naime, i dalje i osoba i pas vole same sebe.