scheme :: FUNCT_1:sch 5
LambdaS{ F₁() -> set , F₂( object ) -> object } :

ex f being Function st
( dom f = F₁() & ( for X being set st X in F₁() holds
f . X = F₂(X) ) )