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