Loi Commutative

Le principe en logique et en algèbre selon lequel un opérateur binaire donne le même résultat lorsque ses opérandes sont permutés ; formellement, pour des opérandes A et B et un connecteur commutatif ⊗, A ⊗ B = B ⊗ A (exemples : A ∧ B = B ∧ A, A ∨ B = B ∨ A).

Propriété d'une opération binaire · sur un ensemble affirmant que pour toute paire d'éléments a et b l'égalité a·b = b·a est vérifiée ; l'ordre des opérandes n'affecte pas le résultat.

Propriété algébrique d'une opération binaire selon laquelle l'échange de l'ordre des deux opérandes n'altère pas le résultat : pour tous a, b du domaine, a·b = b·a.