Una relación binaria entre dos conjuntos A y B, se llama heterogénea cuando A es distinto de B: