Una relación binaria entre dos conjuntos se llama homogénea si estos dos conjuntos son iguales: