. . "@Mitch In the case of those other algebraic structures, they make some sense: a group is a set and a binary operation put together in a certain way...okay, I can see that." . .