Restriction of Commutative Operation is Commutative

Theorem
Let $$\left({S, \circ}\right)$$ be an algebraic structure.

Let $$T \subseteq S$$.

If the operation $$\circ$$ is commutative on $$\left({S, \circ}\right)$$, then it is also commutative on a restriction $$\left({T, \circ|_T}\right)$$: