Podemos ver que los pares ordenados que tienen sus dos términos iguales pertenecen a la relación: