scheme :: NAT_1:sch 11
LambdaRecEx{ F₁() -> object , F₂( object , object ) -> object } :

ex f being Function st
( dom f = NAT & f . 0 = F₁() & ( for n being Nat holds f . (n + 1) = F₂(n,(f . n)) ) )