In abstract algebra, more general structures are defined by relaxing some of the axioms defining a group. What does generalizing an n-ary group give rise to?