scheme :: ALTCAT_2:sch 1
OnSingletons{ F1() -> non empty set , F2( set ) -> set , P1[ set ] } :
{ [o,F2(o)] where o is Element of F1() : P1[o] } is Function