查看“︁前趋”︁的源代码

[[分类:数的运算]]
{{InfoBox
|name=前趋
|eng_name=predecessor
}}
'''前趋'''运算('''predecessor''' operation)是[[正整数]]上的一元[[运算]]，取一个正整数的上一个[[自然数]]。

{{Operation
|name=前趋
|symbol=<math>Pred(\bullet)</math>
|latex=Pred()
|operand=正整数
|operand_num=1
|result=自然数
|domain=<math>\mathbb{N}^*</math>
|codomain=<math>\mathbb{N}</math>
}}
前趋运算定义为[[后继]]运算的逆运算。

前趋运算也可以被延拓到整数上，但一般不会研究这个运算。


{{超运算}}