\begin{definition}[Definition:Algebraic Substructure]
Let $\left({S, \circ}\right)$ be an algebraic structure.
Let $T \subseteq S$.
Then $\left({T, \circ}\right)$ is an '''algebraic substructure''' of $\left({S, \circ}\right)$.
\end{definition}