En matemáticas y lógica, una relación n-aria R (o a menudo comúnmente relación) es una generalización de la relación binaria, donde R está formada por una tupla de n términos: Un predicado n-ario:
v e r d a d e r o
es una función a valores de verdad de n variables.
Debido a que una relación como la anterior define de manera única un predicado n-ario que vale para
, y viceversa, la relación y el predicado se denotan a menudo con el mismo símbolo.
Así pues, por ejemplo, las dos proposiciones siguientes se consideran como equivalentes: La siguiente relación, definida sobre el conjunto N de los números naturales, es n-aria, pues posee n términos: La relación dice que cada uno de los términos es mayor que el anterior.
El valor de n es un parámetro fijo, que se puede explicitar, o bien dejar como genérico, para describir un caso general.
Las relaciones se clasifican según el número de conjuntos en el producto cartesiano; en otras palabras, el número de términos en la expresión: Las relaciones con más de 4 términos generalmente se llaman n-arias; por ejemplo "una relación 5-aria".