scheme :: MSAFREE5:sch 7
FinSeqRecLambda{ F₁() -> non empty FinSequence, F₂() -> object , F₃( object , object ) -> set } :

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