Restriction of Commutative Operation is Commutative

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

Let $T \subseteq S$.

Let the operation $\circ$ be commutative on $\struct {S, \circ}$.

Then the restriction $\circ {\restriction_T}$ of $\circ$ to $T$ is also commutative.