Binary operation/Definition

Operation

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

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