 Sentences in the language of set theory talk about sets, and we translate them to sentences about pointed graphs by  restricting all quantifiers to the class of pointed graphs, and then translating ∈ to ε, and ≡ for  =.  For example, the Axiom of Extensionality