Mengentheorie/Relation/Definition

Relation

Es seien und Mengen. Eine Relation zwischen den Mengen und ist eine Teilmenge der Produktmenge , also .