Setiap himpunan tertutup adalah berhingga atau sama dengan seluruh \(\Z\text{.}\) Sebaliknya, setiap subhimpunan berhingga dan \(\Z\) sendiri memang tertutup.