Commutative Law
Definition
The principle in logic and algebra that a binary operator yields the same result when its operands are permuted; formally, for operands A and B and a commutative connective ⊗, A ⊗ B = B ⊗ A (examples: A ∧ B = B ∧ A, A ∨ B = B ∨ A).