1: \begin{definition}\label{def:rectRatMonMap}

2: Consider $l\in\{0,\ldots,n\}$ and a rational monomial map $\psi$ on $B$ over $\RR^m$, where $B\subset\RR^{m+n}$.  We say that $\psi$ is {\bf\emph{$l$-rectilinear over $\RR^m$}} if $B$ is $l$-rectilinear over $\RR^m$ (as defined prior to Theorem \ref{thm:subRect}) and if $\psi$ is of the form

3: \[

4: \psi(x,y) = \left(c_1(x) y_{\leq l}^{\gamma_1}, \ldots, c_N(x) y_{\leq l}^{\gamma_N}, y_{l+1},\ldots,y_n\right)

5: \]

6: for some positively-valued analytic subanalytic functions $c_1,\ldots,c_N$ on $\Pi_m(B)$ and tuples $\gamma_1,\ldots,\gamma_N$ in $\QQ^l$.  We say that set $B$, or a rational monomial map $\psi$ on $B$ over $\RR^m$, is {\bf\emph{rectilinear over $\RR^m$}} to mean that it is $\l$-rectilinear over $\RR^m$ for some $l$.

7: \end{definition}

8: