Coba jelasin Definisi dari Ruang kompak dong

Secara formal, ruang topologi  disebut kompak jika masing-masing sampul terbuka memiliki sub-sampul terhingga. Ini mengartikan bahwa  kompak jika untuk setiap koleksi  dari subhimpunan dari  sehingga