Definition: Abelian Group

A group is called abelian, if its operation is commutative: