abelian group: a group that satisfies the commutative law
group: a set that is closed, associative, has an identity element and every element has an inverse
upper class: the class occupying the highest position in the social hierarchy