前趋
| 前趋 | |
|---|---|
| 术语名称 | 前趋 |
| 英语名称 | predecessor |
前趋运算(predecessor operation)是正整数上的一元运算，取一个正整数的上一个自然数。
| 前趋 | |
|---|---|
| 运算名称 | 前趋 |
| 运算符号 | [math]\displaystyle{ Pred(\bullet) }[/math] |
| Latex | Pred()
|
| 运算对象 | 正整数 |
| 运算元数 | 1 |
| 运算结果 | 自然数 |
| 定义域 | [math]\displaystyle{ \mathbb{N}^* }[/math] |
| 陪域 | [math]\displaystyle{ \mathbb{N} }[/math] |
前趋运算定义为后继运算的逆运算。
前趋运算也可以被延拓到整数上，但一般不会研究这个运算。
| 超运算 [math]\displaystyle{ a[n]b }[/math] / [math]\displaystyle{ a\uparrow\dots\uparrow b }[/math] | |||||||
|---|---|---|---|---|---|---|---|
| 级别 [math]\displaystyle{ n }[/math] | 0 | 1 | 2 | 3 | 4 | 5 | … |
| 超运算 | 后继 | 加法 | 乘法 | 乘方 | 超幂/幂塔/迭代幂次 | 广义迭代幂次 | … |
| 对 [math]\displaystyle{ a }[/math] 逆运算 | 前趋 | 减法 | 除法 | 开方 | 超开方 | … | |
| 对 [math]\displaystyle{ b }[/math] 逆运算 | 对数 | 超对数 | … | ||||