20N02 - Group theory and generalizations :: Other generalizations of groups :: Sets with a single binary operation