n. a set that is closed under an associative binary operation with respect to which there exists a unique identity element within the set and every element has an inverse within the set; for example, the integers are a group under addition, but not under multiplication. Compare ring, field.