si un elemento a de A está relacionado con dos elementos b de B esos dos elementos son iguales.