binary operation

Seien \(A,B,C\) Mengen. Eine binäre Verknüpfung ist eine Abbildung der Form

\begin{align*} A \times B \rightarrow C \\ (a,b) \mapsto c \end{align*}