Relación n-aria

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.

Debido a que una relación como la anterior define de manera única un predicado n-ario que vale para si y sólo si está en , 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:

Ejemplo

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.

Other Languages
eesti: Seos
euskara: Erlazio n-tar