scheme :: ORDINAL2:sch 18
LambdaRecEx{ F1() -> set , F2( set , set ) -> set } :
ex f being Function st
( dom f = omega & f . 0 = F1() & ( for n being Nat holds f . (succ n) = F2(n,(f . n)) ) )