maximal-subsemigroups