scheme :: FUNCT_5:sch 1
LambdaFS{ F₁() -> set , F₂( object ) -> object } :

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