Kommutativgesetz

Das Prinzip in Logik und Algebra, dass ein binärer Operator dasselbe Ergebnis liefert, wenn seine Operanden vertauscht werden; formal gilt für Operanden A und B und einen kommutativen Operator ⊗: A ⊗ B = B ⊗ A (Beispiele: A ∧ B = B ∧ A, A ∨ B = B ∨ A).

Die Eigenschaft einer binären Verknüpfung · auf einer Menge, dass für alle Elemente a und b die Gleichheit a·b = b·a gilt; die Reihenfolge der Operanden beeinflusst das Ergebnis nicht.

Die algebraische Eigenschaft einer binären Operation, dass das Vertauschen der Reihenfolge der beiden Operanden das Ergebnis nicht ändert: für alle a, b im Träger gilt a·b = b·a.