Wdhlg.: Relationen

R heißt Relation zwischen Mengen X und Y, falls R $\subseteq$ X×Y.

d. h. R ist eine Menge von geordneten Paaren {(x₁, y₁),...} mit x₁,...$\in$ X, y₁,...$\in$ Y.

Umkehr-Relation: R^- = {(y, x) | (x, y) $\in$ R}.

Bilder: R(x) = {y | (x, y) $\in$ R}

Urbilder: R^-(y)