Himpunan \(A\) adalah himpunan titik tetap fungsi kontinu \(F=i\circ r\text{.}\) Himpunan titik tetap itu merupakan prapeta diagonal tertutup di \(X\times X\text{,}\) sehingga tertutup.