commutativity

\begin{align*} \forall x \forall y ( x \circ y = y \circ x) \end{align*}