scheme :: FRAENKEL:sch 18
FrSet2{ F₁() -> set , F₂() -> set , P₁[ object ], F₃( object ) -> object } :

{ F₃(y) where y is Element of F₁() : ( P₁[y] & not F₃(y) in F₂() ) } misses F₂()