\begin{definition}[Definition:Algebraic Structure]
An '''algebraic structure with $n$ operations''' is an ordered tuple:
:$\struct {S, \circ_1, \circ_2, \ldots, \circ_n}$
where:
:$S$ is a set
:$\circ_1, \circ_2, \ldots, \circ_n$ are $n$ binary operations which are defined on all the elements of $S \times S$.
\end{definition}