Operations

Definition: Operation

An $n$-ary operation on a set $S$ is a function from the $n$-ary Cartesian power of $S$ to $S$.

$$f:\underset{n\text{ times}}{\underbrace{S\times \cdots \times S}}\to S$$