2.2.1. Correspondences. Suppose that to each element of a set
A we assign some elements of another set B. For instance, A = N,
B = Z, and to each element x N we assign all elements y Z such
that y 2 = x (fig. 2.8).