Definition: binäre Relationen

Seien zwei Mengen.
Eine (binäre) Relation ist eine beliebige Teilmenge:

Ist , so sagen wir auch: steht in Relation mit und schreiben dies als:

Anmerkung

Tipp

Die beiden Mengen können auch gleich sein, also .