かいき-てき-ていぎ クワイ― [6] 【回帰的定義】 〔recursive definition〕 ある集合を定義しようとするとき，いくつかの元をまず具体的に与え，一定の操作を繰り返し適用することによって得られるものの全体として，その集合を定義するやり方。「 1 」と「プラス 1 」から自然数の全体を定義するのもその一つ。