scheme :: PBOOLE:sch 5
LambdaDMS{ F₁() -> non empty set , F₂( object ) -> object } :

ex X being ManySortedSet of F₁() st
for d being Element of F₁() holds X . d = F₂(d)