Mengentheorie/Relation auf einer Menge/Definition

Relation auf einer Menge

Eine Relation auf einer Menge ist eine Teilmenge der Produktmenge , also .