Definition: (n-äre) Relationen

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

Ist , so sagen wir auch: ” stehen in Relation.

Anmerkung

Eine Relation ist eine Menge von Tupeln, deren Elemente eine definierte Beziehung zueinander haben.