Set of elements with an operation that combines any two elements to form a third, satisfying four conditions: closure, associativity, identity, and invertibility.
Set of elements with an operation that combines any two elements to form a third, satisfying four conditions: closure, associativity, identity, and invertibility.