scheme :: LMOD_7:sch 5
Fraenkel1Ex{ F₁() -> non empty set , F₂() -> non empty set , F₃( object ) -> Element of F₂(), P₁[ object ] } :

ex S being Subset of F₂() st S = { F₃(x) where x is Element of F₁() : P₁[x] }