Beziehungen zwischen einer Menge von Variablen X={x1,...,xn}, wobei die Werte, die von Variablen angenommen werden können, im Vordergrund stehen. Die Wertemenge Wi einer Variablen xi wird Domain genannt.