Eine Relation R {\displaystyle {}R} auf einer Menge M {\displaystyle {}M} ist eine Teilmenge der Produktmenge M × M {\displaystyle {}M\times M} , also R ⊆ M × M {\displaystyle {}R\subseteq M\times M} .
