Definition:Dipper Semigroup

Definition
Let $m, n \in \Z$ be integers such that $m \ge 0, n > 0$.

Let $\N_{< \paren {m \mathop + n} }$ denote the initial segment of the natural numbers:
 * $\N_{< \paren {m \mathop + n} } := \set {0, 1, \ldots, m + n - 1}$

Also see

 * Dipper Semigroup is Commutative Semigroup


 * Equivalence of Definitions of Dipper Semigroup