$$i(A):=\bigcup\{(a,b)|((a,b)\subseteq A)(a,b\in\mathbb{R})\}$$ kuralı ile verilen $$i:2^{\mathbb{R}}\to 2^{\mathbb{R}}$$ fonksiyonunu ele alırsak gerçel sayılar kümesinin $$i(A)=A$$ koşulunu sağlayan tüm altkümelerinin oluşturduğu aile, gerçel sayılar kümesi üzerindeki alışılmış topoloji olacaktır.