Commutative loop

Definition
A loop is termed a commutative loop or abelian loop if its binary operation is a commutative binary operation, i.e., it is a defining ingredient::commutative magma under its multiplication.