If $\mathcal{X}\geq\mathcal{Y}$ are two SNC models, then

• (i)

  $\ev_{\mathcal{Y}}\circ p_{\mathcal{X}}=\ev_{\mathcal{Y}}$ and $p_{\mathcal{Y}}\circ p_{\mathcal{X}}=p_{\mathcal{Y}}$.

• (ii)

  $p_{\mathcal{X}}\circ\emb_{\mathcal{Y}}=\emb_{\mathcal{Y}}$.