Benar. Jika \(B=C\cap F\text{,}\) maka \(B\) adalah irisan dua himpunan tertutup dalam \(X\text{;}\) arah sebaliknya memakai \(B=C\cap B\text{.}\)