Relación matemática

Una relación R, de n conjuntos, es un subconjunto del producto cartesiano^[1]​^[2]​ de los conjuntos ${displaystyle A_{1},A_{2},ldots ,A_{n}}$

Se representa como:

Se describe como: La relación n-aria^[3]​ es el conjunto tuplas ordenadas ${displaystyle (a_{1},a_{2},a_{3},...,a_{n})}$ pertenecientes al producto cartesiano ${displaystyle A_{1} imes A_{2} imes A_{3} imes ... imes A_{n}}$ donde ${displaystyle (a_{1}in A_{1},a_{2}in A_{2},a_{3}in A_{3},...,a_{n}in A_{n})}$, para el cual se cumple la condición ${displaystyle R(a_{1},a_{2},a_{3},...,a_{n})}$.

Un caso particular se presenta cuando todos los conjuntos de la relación son iguales: ${displaystyle A_{1}=A_{2}=ldots =A_{n}}$, es decir ${displaystyle A imes A imes ldots imes A}$ y se describe como ${displaystyle A^{n},}$:

Las relaciones se clasifican con base en el número de conjuntos del producto cartesiano, el cual es el número de tuplas: