∀x∈X∀N1,N2∈N(x)(N1∩N2∈N(x))