Definition:Operation/Operation on Set

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


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

An $n$-ary operation on $S$ needs to be defined for all tuples in $S^n$.