Restriction of Commutative Operation is Commutative

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

Let $$T \subseteq S$$.

Let the operation $$\circ$$ be commutative on $$\left({S, \circ}\right)$$.

Then it is also commutative on the restriction $$\left({T, \circ \! \restriction_T}\right)$$.

Proof
$$ $$ $$ $$ $$