Definition

A Group is abelian if all elements satisfy Commutivity: