Propiedades de la relación binaria homogénea: