Group

Def 2.1

A group is a non-empty set G together with a binary operation (.) which is associative, has identity element and every element has an inverse.