Definition:Operation/Operation on Set

Definition
An $n$-ary operation on a set $S$ is an $n$-ary operation where the domain is the cartesian space $S^n$ and the codomain is $S$:


 * $\odot: S^n \to S: \forall \left({s_1, s_2, \ldots, s_n}\right) \in S^n: \odot \left({s_1, s_2, \ldots, s_n}\right) \in S$

That is:
 * an $n$-ary operation on $S$ needs to be defined for all tuples in $S^n$
 * the image of $\odot$ is itself in $S$.