\begin{definition}[Definition:Algebraic System]
An '''algebraic system''' is a mathematical system $\SS = \struct {E, O}$ where:
:$E$ is a non-empty set of elements
:$O$ is a set of finitary operations on $E$.
\end{definition}