Коммутативность (переместительность) - коммутативный закон - определение

Коммутативность - свойство математической операции, наличие которого обеспечивает независимость результата выполнения данной операции от порядка следования элементов (аргументов операции) для всех элементов множества на котором данная операция определена.

Можно говорить о коммутативности некоторой бинарной операции (например композиции - "умножения"):
$ a * b = b * a, \forall a,b \in Q$, где $ Q$ - множество, на котором определена операция $\Large *$