Aridad

En el análisis matemático, la aridad de un operador matemático o de una función es el número de argumentos necesarios para que dicho operador o función se pueda calcular.

Por ejemplo, el operador de suma «+» es un operador binario (de aridad 2), porque necesita dos argumentos para poder realizar una suma. En cambio, la función valor absoluto «| |» es un operador unario (de aridad 1), porque solo necesita un argumento.

El término también es utilizado en lógica matemática para referir relaciones, por ejemplo relación n-aria.

Otros ejemplos

• Operación nularia significa aridad cero.
• Operación unaria o relación unaria significa aridad uno.
• Operación binaria o relación binaria significa aridad dos.
• Operación ternaria o relación ternaria significa aridad tres.

Referencias

• Sancho de San Román^{[Nota 1]}​, Juan (1990). «2. Lógica de Primer Orden». Lógica matemática y computabilidad. p. 57. ISBN 9788487189531. Consultado el 21 de junio de 2010. 

Notas

1. El nombre según Google Docs es Juan Sancho San Román, pero la Real Academia de Ciencias de Zaragoza le llama así en su web el 6 de febrero de 2012 en Wayback Machine. (Consultada a misma fecha 2010-06-21)

•   Datos: Q1315869