Semigroups (Algebraic Structures)
  • TODO