帰納的集合

ｘ∈Eが一般帰納的述語となるような集合Eを帰納的集合（きのうてきしゅうごう）と呼ぶ。

たとえば、素数の集合は、帰納的集合である。