scheme :: YELLOW_3:sch 4
SupUnion{ F1() -> non empty antisymmetric complete RelStr , P1[ set ] } :
"\/" ( { ("\/" (X,F1())) where X is Subset of F1() : P1[X] } ,F1()) <= "\/" ((union { X where X is Subset of F1() : P1[X] } ),F1())