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