A set with an associative binary operation, under which there exists an identity element, and such that each element has an inverse.
A set that is closed, associative, has an identity element and every element has an inverse