In abstract algebra, more general structures are defined by relaxing some of the axioms defining a group. Axioms are defined by relaxing what