\begin{definition}[Definition:Finite Algebraic Structure]
A '''finite algebraic structure''' is an algebraic structure whose underlying set is finite.
Category:Definitions/Abstract Algebra
\end{definition}