\begin{definition}[Definition:Commutative/Elements]
Let $\circ$ be a binary operation.
Two elements $x, y$ are said to '''commute''' {{iff}}:
:$x \circ y = y \circ x$
Thus $x$ and $y$ can be described as '''commutative under $\circ$'''.
\end{definition}