Definition:Strictly Inductive Semigroup

Definition
Let $\struct {S, \circ}$ be a semigroup.