Propiedad antisimétrica : Una relación R sobre un conjunto A es antisimétrica si para todo x ∈ A, y ∈ A, si x R y e y R x entonces x=y. De nuevo: ∀ x,y ∈ A se cumple que si (x,y), (y,x) ∈ R entonces x=y.Ejemplo: R={(1,2),(1,3),(1,4),(2,3),(2,4),(3,4),(1,1),(2,2),(3,3),(4,4)}
Pregunta: Si el par (1,3) pertenece a la relación, ¿podría estar el par (3,1)? Según la definición, si esta el (1,3) y está el (3,1) entonces debería ser 1=3, absurdo!!!