1: \begin{definition}[Relative canonical subdivisions]

2: Let $K$ be a poset and let $L$ be a closed subposet of $K$.

3: In the notation of the proof of Theorem \ref{subcomplex-NR}, let $h(K,L)$

4: denote $N(L)\cup (h(K)\but h(L))$.

5: Then by the proof of Theorem \ref{subcomplex-NR}, $|h(K,L)|$ is uniformly

6: homeomorphic to $|h(K)|$ and hence to $|K|$.

7: 

8: Dually, let $K^\#_L=MC^*(r_K^*)\but(\cel L\cer\cup\cel (K\but L)^\#\cer)$.

9: This contains $L^\#$ and $K\but L$, and $|K^\#_L|$ is uniformly

10: homeomorphic to $|K|$ similarly to the above (using part (a) of Lemma

11: \ref{canonical-MC}).

12: Note that $(P+Q)^\#\simeq (P^**Q)^\#_{P^**\emptyset\cup\emptyset*Q}$, which

13: yields an alternative proof that $|P+Q|$ is uniformly homeomorphic to $|P*Q|$.

14: \end{definition}