eine innere Verknüpfung auf einer Menge X, die geschrieben wird als \begin{eqnarray}+:X\times X\to X; & (x,y)\mapsto x+y.\end{eqnarray}

Man nennt die Verknüpfung dann Addition und bezeichnet das Element x + y als die Summe von x und y; x und y heißen dann Summanden.

Eine additiv geschriebene Verknüpfung ist meist assoziativ und kommutativ.