>>745
一般再帰(帰納的)関数の定義は？Kleeneの言うgeneral recursive function
の意味で言っているのなら、部分再帰関数の真部分集合。なぜなら部分再帰関数は
全域関数でもありうるから。

つまり、
原始再帰関数　c　一般再帰関数 c　部分再帰関数
ということ。ちなみに、原始再帰関数も真部分集合だぞ。Ackermann関数がその一例。

つーかおまい情報系出身か？この辺は一般常識だぞ。
門外漢なら計算理論の教科書を読むべき。