Group

A group, in a general notion, is a set equipped with an operator. The operator must be associative, have an identity element, and have an inverse element.