Jika \(i:A\hookrightarrow X\) inklusi, maka \(r\circ i=\operatorname{id}_A\text{.}\) Untuk \(U\subseteq A\text{,}\) tulis \(U=i^{-1}(r^{-1}(U))\text{.}\)