Binary operation/Definition

An operation (or binary operation) ${\displaystyle {}\circ }$ on a set ${\displaystyle {}M}$ is a mapping

${\displaystyle \circ \colon M\times M\longrightarrow M,(x,y)\longmapsto \circ (x,y)=x\circ y.}$