Abelian Group
An abelian group is a nonempty set G combined with a binary operation
properties given below:
Example:
satisfies the