Petunjuk U.93.1.

Komplemen lingkungan \(p\) tertutup dalam ruang kompak dan termuat dalam \(X\text{.}\)
in-context