Langkah 1. \(x\notin\Int(A)\) berarti tidak ada bola di \(x\) yang seluruhnya berada dalam \(A\text{.}\)

Langkah 2. Negasi itu ekuivalen dengan pernyataan bahwa setiap bola di \(x\) memuat titik dari \(X\setminus A\text{.}\)