a set that is closed, associative, has an identity element and every element has an inverse