Petunjuk L.22.1.

Petunjuk 1. Cari semua anggota \(\tau\) yang memuat \(c\text{.}\)
Petunjuk 2. Lingkungan harus memuat salah satu himpunan terbuka yang memuat \(c\text{,}\) bukan sekadar memuat \(c\) sendiri.
in-context