Abelian semigroup

  1. redirect semigroup