Eine zweistellige Relation $R$ zwischen zwei Mengen $A$ und $B$ ist eine Teilmenge des karthesichen Produkts $A \times B = \{(a,b) | a \in A \land b \in B\}$ :
$R \subseteq A \times B$