Mengentheorie/Relation auf einer Menge/Definition

Relation auf einer Menge

Eine Relation $R$ auf einer Menge $M$ ist eine Teilmenge der Produktmenge $M\times M$, also  $R\subseteq M\times M$.