Definition Internal Operation

Let $M$ be a set. An internal operation $\circ$ on $M$ is a rule that assigns to any two elements $a, b \in M$ a unique element from the set $M$. We can view the internal operation as a mapping

$$

\circ : M \times M \to M, \quad (a, b) \mapsto a \circ b

$$