あ、ありっぽいですね。

∃y (y ∈ φ × φ ∧ (x, y) ∈ Γ_Δ ∧ (y, z) ∈ Γ_(0 × ξ) )



x, z についての条件ですね。