scheme :: CLASSES1:sch 2
LambdaAB{ F₁() -> set , F₂() -> set , F₃( Element of F₂()) -> set } :

ex f being Function st
( dom f = F₁() & ( for x being Element of F₂() st x in F₁() holds
f . x = F₃(x) ) )