関数f{\displaystylef}は自然数{0,1,...n}{\displaystyle\{0,1,...n\}}から自然数{0,1,...n}{\displaystyle\{0,1,...n\}}への数論的関数か、または値域{0,1}{\displaystyle\{0,1\}}で真偽を示す述語としての指示関数である。
这个函数f{\displaystylef}要么是从自然数{0,1,...n}到自然数{0,1,...n}的数论函数，要么是运算于谓词(输出{t,f})上生成{0,1}的表示函数。