No existe ningún elemento a en A, para el que el par ordenado (a,a) no pertenezca a la relación R.