Commutative Moufang loop

Definition
A commutative Moufang loop or abelian Moufang loop is a defining ingredient::Moufang loop that is also a defining ingredient::commutative loop.