Category:Definitions/Strictly Inductive Semigroups