 Group

A group is a set with an associative binary operation, an identity, and an inverse for every element.