Definida una correspondencia F, como un subconjunto del producto cartesiano de formula_23, donde los pares ordenados (a, b) son los asociados por la correspondencia, la correspondencia inversa formula_24, es el subconjunto del producto cartesiano formula_25, formado por los pares ordenados (b, a) obtenidos de cambiar el orden de la correspondencia F.