A Relation Argument is a Function Argument in a Relation Function.
- AKA: Relation Operand, Relation Paramater.
- See: Unary Relation, Binary Relation.
- (Wikipedia, 2009) ⇒ http://en.wikipedia.org/wiki/Arity
- In logic, mathematics, and computer science, the arity of a function or operation is the number of arguments or operands that the function takes. The arity of a relation is the number of domains in the corresponding Cartesian product. The term springs from such words as unary, binary, ternary, etc.
- The term "arity" is primarily used with reference to operations. If f is the function f : Sn → S, where S is some set, then f is an operation and n is its arity.