Untuk inklusi yang tidak langsung, ambil \(x\in\overline{A}\setminus A\text{.}\) Setiap lingkungannya sudah bertemu \(A\text{;}\) mengapa lingkungan yang sama pasti bertemu \(A^c\text{?}\)