Ambil \(A=\Q\) sebagai subhimpunan \((\R,d_E)\text{.}\) Setiap interval terbuka memuat bilangan rasional, jadi \(\Q\) rapat di \(\R\) dan \(\overline\Q=\R\text{.}\) Karena \(\R\) terbuka dalam dirinya sendiri, \(\Int(\overline\Q)=\Int(\R)=\R\text{.}\) Namun \(\Q\neq\R\text{.}\) Satu contoh ini cukup menyangkal klaim universal.