\begin{definition}[Definition:Mathematical System]
A '''mathematical system''' is a set $\SS = \struct {E, O, A}$ where:
:$E$ is a non-empty set of elements
:$O$ is a set of relations and operations on the elements of $E$
:$A$ is a set of axioms concerning the elements of $E$ and $O$.
\end{definition}