(∃x,y) φx ∙ φy ∙ ~(∃x,y,z) φx ∙ φy ∙ φz ≝ {ξ,ζ}φ(ξ)
Diese Definition bedarf zu ihrem Verständnis wieder einer Erklärung, denn die interne Beziehung zwischen den beiden Seiten ist nicht unmittelbar klar. (Wir wissen nicht worauf es in diesen Zeichen ankommt.)