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
![](http://info.babylon.com/onlinebox.cgi?rt=GetFile&uri=!!DZ6P2U34SE&type=0&index=1575)
ist eine Menge von
-Tupeln. Dinge, die in der Relation
![](http://info.babylon.com/onlinebox.cgi?rt=GetFile&uri=!!DZ6P2U34SE&type=0&index=1575)
zueinander stehen, bilden ein
![](http://info.babylon.com/onlinebox.cgi?rt=GetFile&uri=!!DZ6P2U34SE&type=0&index=1374)
-Tupel, das ein Element von
![](http://info.babylon.com/onlinebox.cgi?rt=GetFile&uri=!!DZ6P2U34SE&type=0&index=1575)
ist.