\begin{definition}[Definition:Order of Structure/Finite Structure]
Let $\struct {S, \circ}$ be an algebraic structure.
Let the underlying set $S$ of $\struct {S, \circ}$ be finite.
Then $\struct {S, \circ}$ a '''finite structure'''.
That is, $\struct {S, \circ}$ is a '''finite structure''' {{iff}} $\struct {S, \circ}$ is not an infinite structure.
\end{definition}