Sean a,b elementos de A, (a,b) pertenece a R y (b,a) pertenece a R entonces a = b.