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}.