∀x∈X(⟨𝒩(x)⟩X⊆𝒩(x))