Eine
Relation ( „Beziehung“, „Verhältnis“) ist allgemein eine Beziehung, die zwischen Dingen bestehen kann. Relationen im Sinne der
Mathematik sind ausschließlich diejenigen Beziehungen, bei denen stets klar ist, ob sie bestehen oder nicht. Zwei Gegenstände können also nicht „bis zu einem gewissen Grade“ in einer Relation zueinander stehen. Damit ist eine einfache
mengentheoretische Definition des Begriffs möglich: Eine Relation
ist eine Menge von
-Tupeln. Dinge, die in der Relation
zueinander stehen, bilden ein
-Tupel, das ein Element von
ist.