Definition:Dipper Semigroup

Definition
Let $m \in \N$ be a natural number.

Let $n \in \N_{>0}$ be a non-zero natural number.

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