Stehen Elemente einer Menge in Beziehung zu Elementen aus einer Menge ,
so kann dies mit Hilfe einer Relation ausgedrückt werden. Diese besteht aus
geordneten Paaren der Elemente, die durch die Beziehung verknüpft sind. Eine Relation
ist also eine Teilmenge des kartesischen Produkts von und .
Man sagt steht in Relation zu und schreibt
: