⠀

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 .