Cosa sono le relazioni riflessive e simmetriche?
Una relazione riflessiva su un insieme è una relazione binaria che vale per ogni elemento dell'insieme. In altre parole, una relazione riflessiva è quella in cui ogni elemento è in relazione con se stesso, il che significa che per ogni x ∈ A, (x,x) ∈ R. Una relazione è detta relazione simmetrica se un insieme, A, contiene coppie ordinate, (x, y) così come il contrario di queste coppie, (y, x). In altre parole, se (x, y) ∈ R allora (y, x) ∈ R perché la relazione sia simmetrica.