Page "Axiom of extensionality" Paragraph 14

We can then introduce a new symbol for ; it's in this way that definitions in ordinary mathematics ultimately work when their statements are reduced to purely set-theoretic terms.