Idea principal
Una relación de correspondencia relaciona elementos de dos conjuntos. El conjunto desde donde salen las flechas se llama conjunto de salida o de partida; el conjunto al que llegan las flechas se llama conjunto de llegada.
La relación es una función cuando cada elemento del conjunto de salida se relaciona con uno y solamente un elemento del conjunto de llegada. En una correspondencia uno a uno, además, los dos conjuntos tienen el mismo número de elementos y cada elemento de llegada recibe una sola flecha.
Las flechas siempre salen del conjunto de partida.












