Para todo elemento e del conjunto A, el par ordenado (e,e) pertenece a la relación R.