No existe ningún par ordenado (a,b) que pertenezca a R y que el par (b,a) no pertenezca a R.