Eine Relation zwischen zwei Mengen $A$ und $B$ ist eine Teilmenge des kartesischen Produkts $A \times B$, also eine Menge von geordneten Paaren.
Eine Relation $R$ von $A$ nach $B$ ist definiert als:
$$ R \subseteq A \times B $$Sei $A = \{1, 2\}$ und $B = \{3, 4\}$. Eine mögliche Relation könnte sein:
$$ R = \{(1, 3), (2, 4)\} $$ was bedeutet, dass 1 mit 3 und 2 mit 4 in Beziehung steht.