Fundamentos de la Matemática/Relación binaria homogénea

En matemáticas, una relación binaria homogénea es una relación matemática $R$ entre dos elementos que pertenecen al mismo conjunto. Una relación $R$ de $A^2$ se puede representar mediante pares ordenados $(a,b)$ para los cuales se cumple una propiedad $𝒫(a,b)$, de forma que $(a,b)\in A^2$, y se anota:

$R=\{(a,b)\in A^2\mid 𝒫(a,b)\}$

Que se lee: la relación binaria $R$ es el conjunto de pares ordenados $(a,b)$ pertenecientes al producto cartesiano $A^2$, y para los cuales se cumple la propiedad $𝒫$ que los relaciona.

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.