Semigroup package:algebra