Definition that contains identity element
- group a set that is closed, associative, has an identity element and every element has an inverse
- mathematical group a set that is closed, associative, has an identity element and every element has an inverse