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