An operation on a set S is a function associating some number of elements of S with a resulting element. If the resulting element is also always in S, then S is closed under the operation. An n-ary (unary, binary etc.) operation associates n elements of S with the resulting element. A polyadic operation can take sets of different sizes as arguments.
Philosophy dictionary. Academic. 2011.