scheme :: GROUP_21:sch 1
Sch1{ F₁() -> set , F₂() -> 1-sorted , 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) ) )