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