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