帰納的可算集合
以下は、自然数の集合 S について同じ特性を表現したものである。