\begin{definition}[Definition:Algebraic Structure/One Operation]
An '''algebraic structure with $1$ operation''' is an ordered pair:
:$\struct {S, \circ}$
where:
:$S$ is a set
:$\circ$ is a binary operation defined on all the elements of $S \times S$.
\end{definition}