En matemáticas y lógica, una relación n-aria R (o a menudo simplemente 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: es una función a valores de verdad de n variables.