n. 【論理・数学】 回帰的定義《任意数の基本的要因を設定し, それらから有限回の操作によって構成する形での定義》.