R heißt Relation zwischen Mengen X und Y, falls R X×Y.
d. h. R ist eine Menge von geordneten Paaren {(x1, y1),...} mit x1,... X, y1,... Y.
Umkehr-Relation: R- = {(y, x) | (x, y) R}.
Bilder: R(x) = {y | (x, y) R}
Urbilder: R-(y)