Definition:Algebraic Substructure

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)$$.