scheme :: PBOOLE:sch 4
MSSLambda{ F1() -> set , F2( object ) -> object } :
ex f being ManySortedSet of F1() st
for i being object st i in F1() holds
f . i = F2(i)