Relationen

Relationen sind Eigenschaften von Elementen von Mengen bzw. von n -Tupeln. Sie sind entweder erfüllt oder nicht erfüllt. Diese Eigenschaft wird repräsentiert durch das Element sein in einer entsprechenden Teilmenge oder nicht Element sein.

 

Eine Relation (Platzhalter ~) zwischen den Mengen [image] und [image] ist eine Teilmenge von [image].

 

[image] falls [image] .