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