Constant Operation is Commutative

Theorem
Let $S$ be a set.

Let $x \sqbrk c y = c$ be a constant operation on $S$.

Then $\sqbrk c$ is a commutative operation:


 * $\forall x, y \in S: x \sqbrk c y = y \sqbrk c x$

Proof
Hence the result by definition of commutativity.