Una relación cuaternaria R es el subconjunto de los elementos de A 1 × A 2 × A 3 × A 4 {\displaystyle A_{1}\times A_{2}\times A_{3}\times A_{4}} que cumplen una determinada condición:
R = { ( 2 , 1 , 1 , 1 ) , ( 4 , 4 , 2 , 2 ) , ( 6 , 9 , 3 , 3 ) , . . . } {\displaystyle R=\{(2,1,1,1),(4,4,2,2),(6,9,3,3),...\}}