A set equipped with an operation that combines any two elements to form a third element, satisfying four conditions called the group axioms.