Wenn der Additionsoperator kommutativ ist, dann gilt die ''Identität:''
<math>a + b \equiv b + a</math>.
{{K|Mathematik}} allgemeine Gleichheit zwischen zwei [[Term]]en, die auch freie Variablen enthalten dürfen