\begin{definition}[Definition:Order of Structure]
The '''order''' of an algebraic structure $\struct {S, \circ}$ is the cardinality of its underlying set, and is denoted $\order S$.
Thus, for a finite set $S$, the '''order of $\struct {S, \circ}$''' is the number of elements in $S$.
\end{definition}