scheme :: MSAFREE5:sch 6
FinSeqLambda{ F₁() -> non empty FinSequence, F₂( set ) -> object } :

ex p being non empty FinSequence st
( dom p = dom F₁() & ( for i being Element of dom F₁() holds p . i = F₂(i) ) )