Una relación binaria homogénea: