帰納的集合

出典: フリー百科事典『ウィキペディア(Wikipedia)』
移動: 案内検索

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

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