In abstract algebra, more general structures are defined by relaxing some of the axioms defining a group. What is derived from (Q \ [0],-)