Binary operation/Commutative/Definition

Commutative operation

A binary operation

$\circ :M\times M⟶M,(x,y)⟼x\circ y,$

on a set $M$ is called commutative if for all $x,y\in M$ the equality

$x\circ y=y\circ x$

holds.