Per ognuna delle relazioni rappresentate dai seguenti grafi indica di quali proprietà gode
71
La relazione indicata non é riflessiva (d nR d) ma neppure antiriflessiva ( c R c )
non é simmetrica ( b R d ma d nR b ) ma neppure antisimmetrica (a R b e b R a)
e non é transitiva a R b e b R a ma a nR a
e quindi non ha nessuna delle proprietà canoniche
72
Non riflessiva ( c nR c ) e non antiriflessiva ( d R d )
Simmetrica : b R c & c R b : fra coppie di elementi distinti ad ogni andata corrisponde
un ritorno, proprietà scontata sulle coppie di uguali
Strettamente, non é transitiva : c R b, b R c, ma c nR c
Quindi non é di equivalenza né d'ordine.
Per essere riflessiva occorre che sia x R x per ogni x e questo non avviene per a.
Analogamente simmetrica significa che se xRy allora yRx. Nel nostro grafo esiste il collegamento a, d ma non d, a e quindi non è simmetrica.