scheme :: MSAFREE5:sch 6
FinSeqLambda{ F1() -> non empty FinSequence, F2( set ) -> object } :
ex p being non empty FinSequence st
( dom p = dom F1() & ( for i being Element of dom F1() holds p . i = F2(i) ) )