Propiedades de una relación binaria homogénea: