Definition:Algebraic Substructure

Definition
If:


 * $\left({S, \circ}\right)$ is an algebraic structure;
 * $T \subseteq S$;

then $\left({T, \circ}\right)$ is an algebraic substructure of $\left({S, \circ}\right)$.