\begin{definition}[Definition:Commutative/Algebraic Structure]
Let $\struct {S, \circ}$ be an algebraic structure whose operation $\circ$ is a commutative operation.
Then $\struct {S, \circ}$ is a '''commutative (algebraic) structure'''.
\end{definition}