Arity

释义 Definition

arity（元数/参数个数）指函数、运算符或谓词所需要的自变量（参数）的数量。常见于数学、逻辑学与计算机科学中。也可用于描述“关系”的参与项数（如二元关系、三元关系等）。

发音 Pronunciation

/ˈærɪti/

例句 Examples

The arity of this function is two.
这个函数的元数是二（需要两个参数）。

In first-order logic, the predicate “between” typically has arity three because it relates three objects.
在一阶逻辑中，谓词“between（在……之间）”通常是三元的，因为它关联三个对象。

词源 Etymology

来自拉丁语词根 -ary（与“……有关的”）加上表示性质/状态的后缀 -ity，构成表示“（参数）个数这一性质”的术语；现代用法主要在逻辑与计算机科学中固定为“函数/谓词的参数数量”。

相关词 Related Words

• Argument
• Function
• Operator
• Parameter
• Predicate
• Signature
• Valence

文学与著作中的用例 Literary Works

• Structure and Interpretation of Computer Programs（《计算机程序的构造和解释》）
• Types and Programming Languages（《类型与程序设计语言》）
• The Little Schemer（《小小 Scheme 书》）
• Concepts, Techniques, and Models of Computer Programming（《计算机程序设计的概念、技术与模型》）