Benar. Ruang berhingga selalu kompak. Sebaliknya, singleton dalam ruang diskret membentuk selimut buka; jika ruang itu kompak, berhingga banyak singleton harus menyelimuti seluruh \(X\text{,}\) sehingga \(X\) berhingga.