∆ Определение 3.

Group $G$ is called commutative (or abelian) if for any $a,b \in G$, we have $ab=ba$.