Definition (Relation):
Eine n-stellige Relation R zwischen Objekten der Mengen bis ist eine Teilmenge des kartesischen Produkts .
Definition (binäre Relation):
Eine binäre Relation ist eine zweistellige Relation. Eine binäre Relation ist damit eine Beziehung, die zwischen Objekten zweier Mengen A und B existiert und damit eine Teilmenge des kartesischen Produkts .