1: \begin{definition}\label{defpart} Let $Y$ be a nonsingular variety and $\mathcal{G}$ be a set of subvarieties of $Y$ which is a building set. Assume that $(<)$ is a partial order on $\mathcal{G}$ with the property that any total order that extends $(<)$ satisfies either of the hypotheses of Theorem \ref{thmLi}(2). We define the \textit{iterated blowup $Bl_{\mathcal{G}} Y$ of $Y$ at }$\mathcal{G}$ in the order $(<)$ to be the iterated blowup of $Y$ at $\mathcal{G}$ in any total order that extends $(<)$.

2:  \end{definition}

3: