Eine Relation zwischen zwei Mengen und ist eine Teilmenge des kartesischen Produkts , also eine Menge von geordneten Paaren.
Eine Relation von nach ist definiert als:
Sei und . Eine mögliche Relation könnte sein:
was bedeutet, dass 1 mit 3 und 2 mit 4 in Beziehung steht.