Group 

The set A is closed
The operation * is associative. A contains an identity element. For every element in A there exists an inverse element 
If the binary operation is also commutative (see commutative operation) then the group is called an Abelian Group or commutative group.