Propiedad de la relación binaria homogénea

entre dos elementos que pertenecen al mismo conjunto.

se puede representar mediante pares ordenados

para los cuales se cumple una propiedad

, y para los cuales se cumple la propiedad

Por oposición a la relación binaria heterogenia, o correspondencia matemática donde los dos elementos de la relación binaria son de conjuntos diferentes.

Esta relación puede cumplir o no una determinada propiedad de la relación binaria homogénea según estas propiedades se determina una determinada estructura en el conjunto respecto a la relación binaria definida.

En una relación binaria homogénea la reflexividad determina la posible relación de un elemento con sigo mismo, en todos los casos, nunca o a veces.