最小數運算元

最小數運算元是一種特殊運算元，.指基於自然數的最小數原理引進的，由數論謂詞定義數論函式的一種運運算元。

最小數運算元(the least number operator)一種特殊運算元.指基於自然數的最小數原理引進的.由數論謂詞定義數論函式的一種運運算元.設P為n -I-1元數論謂詞，對任何x<其中x=Cx‑xz,...}x‑))，使P (x, y)成立之最小的y(如存在的話)記為min P(x,y)，其值當然依賴於x，因此可以看成x的一個函式

無定義.此時，部分函式g稱為由謂詞P經最小數運算元作用而得的函式.最小數運算元稱為min運算元.最小數運算元還有一種受限形式，即受限最小數運算元min，其定義如下: