Group (mathematics)/Definition

Set with a binary associative operation such that the operation admits an identity element and each element of the set has an inverse element for the operation.