1: \begin{definition}

2: \label{def:mon}

3: For $n \ge 1$, let $\cA_n = (Q,\Sig,\delta,1,\{1\})$ be the DFA in which

4: $Q = \{1,\ldots,n\}$, $\Sig=\{a,b_1,\ldots,b_{n-1},c\}$, and each letter in $\Sig$ performs the transformation defined in Theorem~\ref{thm:monotonic_gen}. 

5: \end{definition}

6: