Semigroups and Subsemigroups — KopHub