También podemos representar una relación binaria homogénea como una correspondencia de A sobre A: