Relation Argument

From GM-RKB
Jump to navigation Jump to search

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



References

  • (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.