Dados los conjuntos X (conjunto inicial) e Y (conjunto final) y definido el producto cartesiano formula_10, de estos dos conjuntos, como el conjunto de pares ordenados (x, y), donde formula_11 e formula_12, dado el conjunto F que contiene a los pares homónimos de la correspondencia f, y formula_13 define esa correspondencia en su totalidad.