scheme :: MSAFREE4:sch 7
MSFLambda{ F₁() -> non empty set , F₂( object ) -> non empty set , F₃( object , object ) -> set } :

ex f being ManySortedFunction of F₁() st
for o being Element of F₁() holds
( dom (f . o) = F₂(o) & ( for x being Element of F₂(o) holds (f . o) . x = F₃(o,x) ) )