A group is a Set that satisfies the axioms of a group. Axioms Closure: Associativity: Identity: Inverse: