Petunjuk R.85.1.

Penutupan himpunan terhubung terhubung dan memuat himpunan semula.
in-context