scheme :: YELLOW_3:sch 5
SupofSups{ F1() -> complete LATTICE, P1[ set ] } :
"\/" ( { ("\/" (X,F1())) where X is Subset of F1() : P1[X] } ,F1()) = "\/" ((union { X where X is Subset of F1() : P1[X] } ),F1())