1: \begin{definition} \label{def_phi_0}

2: Define the map 

3: \[ \phi_0: \mathcal{R}_0 \to \mathcal{R}_1' \]

4: as follows. Given, $P \in \mathcal{R}_0$, let $F$ be a flat contained in $P$ ($F$ exists by Lemma \ref{lemma_finding_flats}). Let $F'$ be some flat which is Hausdorff close to $\phi(F)$ (such a flat always exists by Theorem \ref{thm_huang}). By Lemma \ref{lemma_flat_structures} there is some $P' \in \mathcal{R}_0'$ which contains $F'$. Furthermore, there is a unique $Z' \in \mathcal{R}_1'$ of which $P'$ is a member of (uniqueness follows by Lemma \ref{lemma_unique_membership}).

5: \end{definition}

6: