∀x∈X∀N∈𝒩(x)(x∈N)