Proprietà di una relazione

Proprietà riflessiva

Una relazione definita in un insieme A si dice riflessiva se ogni elemento xÎA è in relazione con se stesso.

per ogni xÎA  xrx

 

Proprietà simmetrica

Una relazione R definita in un insieme A è simmetrica se non ha importanza l'ordine con il quale vengono considerati gli elementi. Cioè se x è in relazione con y allora y è in relazione con x. In simboli

glossa1.gif (1266 byte)

 

Proprietà transitiva

Una relazione definita in un insieme A si dice transitiva se presi comunque tre elementi x, y, z e tali che sia xry e yrz, allora è anche xrz.

per ogni xÎA, yÎA, zÎA tali che xry e yrzÞxrz