scheme :: MSAFREE5:sch 7
FinSeqRecLambda{ F1() -> non empty FinSequence, F2() -> object , F3( object , object ) -> set } :
ex p being non empty FinSequence st
( dom p = dom F1() & p . 1 = F2() & ( for i, j being Element of dom F1() st j = i + 1 holds
p . j = F3(i,(p . i)) ) )