Himpunan \(\Z^+\) tidak kompak dalam topologi Euklides. Interval \(U_n=(n-1/3,n+1/3)\) membentuk selimut buka tanpa subselimut berhingga.