Tahap 1. Untuk \(U\subseteq A\text{,}\) gunakan inklusi \(i:A\hookrightarrow X\) dan identitas \(r\circ i=\operatorname{id}_A\text{.}\)

Tahap 2. Retrak adalah himpunan titik tetap dari \(i\circ r:X\to X\text{;}\) gunakan diagonal tertutup di \(X\times X\text{.}\)

Tahap 3. Bandingkan identitas dari garis real diskret ke garis real bertopologi standar.