Por lo tanto podemos decir que una correspondencia entre dos conjuntos X e Y, es un subconjunto F del producto cartesiano formula_10, que recoge los pares ordenados (x, y), que forman la correspondencia.