限定積を用いずに定義できる初等的関数は低初等帰納的()という。すなわち、低初等帰納的関数はゼロ関数,後者関数,射影関数,減算関数から始めて関数合成と限定和を取る操作を有限回繰り返して得られる関数をいう。