scheme :: PBOOLE:sch 7
MSSLambda{ F₁() -> set , F₂( object ) -> object } :

ex f being ManySortedSet of F₁() st
for i being set st i in F₁() holds
f . i = F₂(i)