Eine ternäre Relation ist eine Teilmenge des kartesischen Produkts dreier Mengen S1, S2 und S3. Es handelt sich also bei einer ternären Relation um eine Menge von Tripeln (X1 X2 X3), wobei X1 aus S1, X2 aus S2 und X3 aus S3 ist.