Category:Submagmas

This category contains results about Submagmas.

Let $\struct {S, \circ}$ be a magma.

Let $T \subseteq S$ such that $\struct {T, \circ}$ is a magma.

Then $\struct {T, \circ}$ is a submagma of $\struct {S, \circ}$.

This relation can be denoted:

$\struct {T, \circ} \subseteq \struct {S, \circ}$