Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
Given a cardinal number , an n-ary operation on a set is a function from the cartesian power to , where [n] is a set with elements. The arity of the operation is .
How are we to read ? Am I being slow?
Also, we need ’arity’ for relations. E.g., at signature (in logic) we have
A set whose elements are called relation symbols, equipped with a function to the free monoid on which prescribes an arity for each relation symbol,
How are we to read ? Am I being slow?
I am also confused. An n-ary operation on a set is just a function .
I guess it’s just a typo coming from a change of mind between writing or .
1 to 8 of 8