Untuk diskret tak terhitung \(D\text{,}\) bentuk \(X=D\cup\{\infty\}\) dengan lingkungan \(\infty\) yang berkomplemen berhingga dalam \(D\text{.}\) Buktikan bahwa \(X\) kompak, tetapi subruang buka \(D\) tidak Lindelöf.