Category:Definitions/Inductive Semigroups