\begin{definition}[Definition:Representation Theorem]
A '''representation theorem''' is a theorem that states that every abstract structure with certain properties is isomorphic to another (abstract or concrete) structure.
\end{definition}