Restriction of Idempotent Operation is Idempotent

Theorem
Let $\struct {S, \circ}$ be an algebraic structure.

Let $T \subseteq S$.

Let the operation $\circ$ be idempotent.

Then $\circ$ is also idempotent upon restriction to $\struct {T, \circ \restriction_T}$.