None of the above Semigroups mathematics