E' antisimmetrica questa relazione?

[Filippo12]

Relazione definita sull'inseme A = {1,2,3}

grafo:
R= {(1,1),(2,2),(3,3)}

Io direi di si se applico la definizione,perchè in effetti ad es. ( (1,1) AND (1,1)) ---> ( 1= 1) ) è vera.

E' giusto come ragionamento?
Grazie

[gugo82]

Quella è la relazione di uguaglianza in $A$… C’è poco da ragionarci sopra.

[Filippo12]

hai ragione, quindi è riflessiva,simmetrica,transitiva e antisimmetrica. ( è la relazione identica su A).

Se invece R= {(1,1),(2,2)} ? Non è piu' riflessiva, quindi non è l'uguaglianza. Ma è antisimmetrica.