Saya mau tau Definisi dari Ruang kompak

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