被称为前趋,如果不存在 序数 使得 。
更多尝试
Weisstein, Eric W. “前趋。” 来自 —— 资源。 https://mathworld.net.cn/Predecessor.html