Definition:Algebraic Substructure

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

Also see

 * Definition:Subgroup
 * Definition:Submonoid
 * Definition:Subsemigroup