Verknüpfung

Definition

Sei $M$ eine nichtleere Menge. Eine Verknüpfung $\ast$ auf $M$ ist eine Abbildung

\begin{array}{c, c, l} *: & M \times M & \longrightarrow & M \\ & (a,b) & \longmapsto & a * b \end{array}