scheme :: CARD_3:sch 1
CFLambda{ F₁() -> set , F₂( object ) -> Cardinal } :

ex ff being Cardinal-Function st
( dom ff = F₁() & ( for x being set st x in F₁() holds
ff . x = F₂(x) ) )