monoid theory

  1. REDIRECT semigroup