帰納的可算集合
集合 S は、部分再帰関数の値域である。 集合 S は、全体再帰関数の値域であるか空である。S が無限の場合、その関数は単射でもよい。 集合 S は、原始再帰関数の値域であるか空である。S が無限であっても、単射とはならない。