scheme :: FOMODEL0:sch 1
Sc1{ F₁() -> set , F₂() -> set , F₃( set ) -> set } :

{ F₃(x) where x is Element of F₁() : x in F₁() } = { F₃(x) where x is Element of F₂() : x in F₁() }

provided