Definition:Algebraic Substructure
From ProofWiki
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)$.
