Abelian group
An abelian group is a set, A, together with an operation "•". It combines any two elements a and b to form another element denoted . For the group to be abelian, the operation and the elements  must follow some requirements. These are known as the abelian group axioms: