# Test for Submonoid

Jump to navigation
Jump to search

## Theorem

To show that $\struct {T, \circ}$ is a submonoid of a monoid $\struct {S, \circ}$, we need to show that:

- $(1): \quad T \subseteq S$
- $(2): \quad \struct {T, \circ}$ is a magma (that is, that it is closed)
- $(3): \quad \struct {T, \circ}$ has an identity.

## Proof

From Subsemigroup Closure Test, $(1)$ and $(2)$ are sufficient to show that $\struct {T, \circ}$ is a subsemigroup of $\struct {S, \circ}$.

Demonstrating the presence of an identity is then sufficient to show that it is a monoid.

$\blacksquare$