∀x∈X(𝒩(x)≠∅)