Bir ifadede bir değişken varsa, ifadenin bir önerme olması için , o değişken için "en az bir" ya da "her" niceleyicilerinden birinin var olması gerekir.
Örneğin A=(0,+∞), x=1 olsun.
D(x,1)⊆A ama D(x,5)⊈A .
Bu durumda , 1, A nın iç noktası oluyor mu olmuyor mu?