Langkah 1. Tuliskan definisi \(x\in\Int(X\setminus A)\) dengan sebuah radius positif.

Langkah 2. Ganti inklusi bola ke dalam komplemen dengan syarat irisan kosong terhadap \(A\text{,}\) lalu negasikan karakterisasi tutupan.