scheme :: FUNCT_1:sch 5
LambdaS{ F1() -> set , F2( object ) -> object } :
ex f being Function st
( dom f = F1() & ( for X being set st X in F1() holds
f . X = F2(X) ) )