Es seien ${\displaystyle {}M}$ und ${\displaystyle {}N}$ Mengen. Eine Relation ${\displaystyle {}R}$ zwischen den Mengen ${\displaystyle {}M}$ und ${\displaystyle {}N}$ ist eine Teilmenge der Produktmenge ${\displaystyle {}M\times N}$, also ${\displaystyle {}R\subseteq M\times N}$.