Sean
A y
B dos
conjuntos. Se dice que
G es una
correspondencia de
A en
B (o
relación entre
A y
B) si
G ⊆ A×B. Por lo tanto, una
correspondencia es un
subconjunto del
producto cartesiano de dos conjuntos.
Se denomina
correspondencia inversa de
G al conjunto:
G
-1 = {(
y,
x) ∈ B×A: (
x,
y) ∈ G}.
Por ejemplo:
Sean A = {a, b} y B = {1, 2, 3}
A×B = {(a,1), (a,2), (a,3), (b,1), (b,2), (b,3)}.
F = {(a,1), (a,3), (b,3)} es una
correspondencia de A en B.
F
-1 = {(1,a), (3,a), (3,b)}.