General Definition
An operation ω is a function of the form ω : V → Y, where V ⊂ X1 × … × Xk. The sets Xk are called the domains of the operation, the set Y is called the codomain of the operation, and the fixed non-negative integer k (the number of arguments) is called the type or arity of the operation. Thus a unary operation has arity one, and a binary operation has arity two. An operation of arity zero, called a nullary operation, is simply an element of the codomain Y. An operation of arity k is called a k-ary operation. Thus a k-ary operation is a (k+1)-ary relation that is functional on its first k domains.
The above describes what is usually called a finitary operation, referring to the finite number of arguments (the value k). There are obvious extensions where the arity is taken to be an infinite ordinal or cardinal, or even an arbitrary set indexing the arguments.
Often, use of the term operation implies that the domain of the function is a power of the codomain (i.e. the Cartesian product of one or more copies of the codomain), although this is by no means universal, as in the example of multiplying a vector by a scalar.
Read more about this topic: Operation (mathematics)
Famous quotes containing the words general and/or definition:
“What journeyings on foot and on horseback through the wilderness, to preach the gospel to these minks and muskrats! who first, no doubt, listened with their red ears out of a natural hospitality and courtesy, and afterward from curiosity or even interest, till at length there “were praying Indians,” and, as the General Court wrote to Cromwell, the “work is brought to this perfection that some of the Indians themselves can pray and prophesy in a comfortable manner.””
—Henry David Thoreau (1817–1862)
“I’m beginning to think that the proper definition of “Man” is “an animal that writes letters.””
—Lewis Carroll [Charles Lutwidge Dodgson] (1832–1898)