Apakah pernyataan ini benar? Jawabannya bergantung pada semesta pembicaraan kita. Ketika mengatakan “untuk semua” \(x\text{,}\) apakah yang kita maksud semua bilangan bulat positif, semua bilangan real, semua gajah, atau...? Biasanya, informasi ini tersirat dari konteks pernyataan. Dalam matematika diskret, kita hampir selalu memberikan kuantor atas bilangan asli, \(0, 1, 2,\ldots \text{,}\) jadi mari kita gunakan himpunan tersebut sebagai semesta pembicaraan di sini.