Relation

Eine n-äre Relation ist eine Teilmenge des kartesische Produkts aus n Mengen S1 bis Sn. Es handelt sich bei einer Relation also um eine Menge von n-Tupeln (X1 X2 ... Xn), wobei jedes Xi ein Element der Menge Si ist.