scheme :: WAYBEL30:sch 1
EmptySch{ F₁() -> Scott TopLattice, F₂() -> set , F₃( set ) -> set } :

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