Relación cuaternaria

Una relación cuaternaria R es el subconjunto de los elementos de $A_1\times A_2\times A_3\times A_4$ que cumplen una determinada condición:

$R=\{(a_1,a_2,a_3,a_4):(a_1,a_2,a_3,a_4)\in A_1\times A_2\times A_3\times A_4\wedge R(a_1,a_2,a_3,a_4)=Verdadero\}$

Ejemplo

• Tomando el conjunto $\mathbb{N}$ de los números naturales, se define la relación cuaternaria $R(x,y,z,t)$ tal que $(x,y,z)$ son coordenadas espaciales y $(t)$ es el tiempo:

$R=\{(x,y,z,t)\in \times A_1\times A_2\times A_3\times A_4\wedge x=2t,y=t^2,z=t\}$

$R=\{(2,1,1,1),(4,4,2,2),(6,9,3,3),...\}$

Véase también

• Relación matemática
• Relación n-aria