Idempotent Elements form Submonoid of Commutative Monoid

Theorem
Let $\struct {S, \circ}$ be a commutative monoid.

Let $e \in S$ be the identity element of $\struct {S, \circ}$.

Let $I$ be the set of all elements of $S$ that are idempotent under $\circ$.

That is:


 * $I = \set {x \in S: x \circ x = x}$

Then $\struct {I, \circ}$ is a submonoid of $\struct {S, \circ}$ with identity $e$.

Proof
By Idempotent Elements form Subsemigroup of Commutative Semigroup, $\struct {I, \circ}$ is a subsemigroup of $\struct {S, \circ}$.

By Identity Element is Idempotent:
 * $e \in I$

By Identity of Algebraic Structure is Preserved in Substructure, $e$ is an identity of $\struct {I, \circ}$.

Since $\struct {T, \circ}$ is a semigroup and has an identity, $\struct {T, \circ}$ is a monoid.

Since $T \subseteq S$, $\struct {T, \circ}$ is a submonoid of $\struct {S, \circ}$ with identity $e$.