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