La aridad de un predicado , operación o función en matemáticas es el número de sus argumentos u operandos . La palabra se formó a partir de los nombres de predicados de baja aridad ( unario - un argumento, binario - dos, ternario - tres). A estos efectos, también se utiliza el término valencia . En general, un predicado con argumentos se llama -ario . También se utilizan los términos localidad ( -local ) y, en consecuencia, capacidad .
El término "aridad" se utiliza en todas las matemáticas. Puedes decir esto: "La operación de suma es doble", pero es mucho más conveniente decir "La operación de suma es una operación binaria". Cada función tiene cierta aridad: