Dimostrazione.
Proprietà riflessiva:
poiché
Proprietà simmetrica:
Infatti
E quindi
.
Proprietà transitiva:
e
Si ha:
E quindi
c.v.d.