Lingkungan terkecil yang perlu diuji untuk \(x\ne0\) dapat memuat hanya \(0\) dan \(x\text{;}\) untuk \(x=0\text{,}\) gunakan singleton.