In abstract algebra, more general structures are defined by relaxing some of the axioms defining a group. What product is created if the requirement that every element has an inverse is eliminated