Matematikan,
erlazio n-tarra (edo askotan erlazioa besterik gabe) erlazio bitarraren orokortzea da, non
n-kotez osatuta dagoen:
![{\displaystyle R=\{(x_{1},x_{2},\ldots ,x_{n}):\;x_{1}\in X_{1}\;\land \;x_{2}\in X_{2}\;\land \;\ldots \;\land \;x_{n}\in X_{n}\;\land \;R(x_{1},x_{2},\ldots ,x_{n})=egiazkoa\}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b483c99c7e46084b45e446be5f76bb90f2e5031a)
predikatu n-kotea:
n aldagaien funtzio bat da egia-balioetan.
Aurrekoa bezalako erlazio batek modu bakar batean predikatu n-kote bat definitzen duela eta, zeina
-rako balio duen baldin eta soilik
-n badago, eta alderantziz, erlazioa eta predikatua ikur berberaz adierazten dira. Beraz, adibidez, bi proposizio hauek baliokidetzat hartzen dira:
![{\displaystyle R(x_{1},x_{2},\ldots ,x_{n})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/78bf6e693a7296f26fb8c227b209609656958be2)
![{\displaystyle (x_{1},x_{2},\ldots ,x_{n})\in R}](https://wikimedia.org/api/rest_v1/media/math/render/svg/58e1506dd9f5cffe6481b7d4a60fe9ff4a0358c1)
Adibidea
Erlazio hau,
zenbaki arrunten multzoan definiturikoa, n-tarra da, n gai baititu:
![{\displaystyle C=\{(a_{1},a_{2},\ldots ,\;a_{n}):\;(a_{1},a_{2},\ldots ,\;a_{n})\in \mathbb {N} ^{n}\;\land \;(a_{1}<a_{2}<\ldots \;<a_{n})\}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f1a68fc8a59d649ce6b3cb2f12e025784b28d907)
azpimotak
Adierazpenaren gaien kopuruaren arabera:
- Erlazio monadikoa: R(x).
- Erlazio bitarra: R(x, y).
- Erlazio hirutarra: R(x, y, z).
- Erlazio lautarra: R(x, y, z, t).
4 gai baino gehiagoko erlazioei n-tarrak esaten zaizkie ; adibidez "erlazio 5-tarra".
Ikus, gainera
Kanpo estekak