Una relación cuaternaria R es el subconjunto de los elementos de
1
×
2
que cumplen una determinada condición: