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