Definition:Algebraic Substructure

From ProofWiki
Jump to navigation Jump to search

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