Definition:Dipper Operation

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}$

The dipper operation $+_{m, n}$ is the binary operation on $\N_{< \paren {m \mathop + n} }$ defined as:
 * $\forall a, b \in \N_{< \paren {m \mathop + n} }: a +_{m, n} b = \begin{cases}

a + b & : a + b < m \\ a + b - k n & : a + b \ge m \end{cases}$ where $k$ is the largest integer satisfying:
 * $m + k n \le a + b$

Also see

 * Dipper Operation is Associative
 * Dipper Operation is Commutative