a ε ẑ(ψz) .≝. φ(x) ≡ xψ(x) . ⊃ . a ε φ