Relation Argument

Jump to navigation Jump to search

A Relation Argument is a Function Argument in a Relation Function.


  • (Wikipedia, 2009) ⇒
    • 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.