Relationen beschreiben Beziehungen zwischen den Elementen einer oder verschiedener Mengen.
Eine -stellige Relation
zwischen den Mengen
ist eine
Teilmenge des kartesischen Produkts dieser Mengen, d.h.
Sind die Mengen
sämtlich gleich der Menge ,
so
wird ,
und
heißt -stellige Relation in der Menge
.
-stellige Relation 
zwischen den Mengen 
ist eine
Teilmenge des kartesischen Produkts dieser Mengen, d.h.
Sind die Mengen 
sämtlich gleich der Menge 
,
so
wird 
,
und 
