scheme :: WAYBEL30:sch 1
EmptySch{ F1() -> Scott TopLattice, F2() -> set , F3( set ) -> set } :
{ F3(w) where w is Element of F1() : w in {} } = {}