∀x∈X∀N1∈N(x)∃N2∈N(x)∀y∈N2(N1∈N(y))