无穷降链

在googology中，无穷降链是一个重要概念。一个记号有没有良定义就取决于其是否有无穷降链。

定义

一个记号良序等价于其没有无穷降链。

例子

例如，坏根始终为第一项的PrSS：

1,2,2展开为1,2,1,2,1,2......

1,2,1,2展开为1,2,1,1,2,1,1,2,1,1,2...

1,2,1,1,2展开为1,2,1,1,1,2,1,1,1,2,1,1,1,2...

因此，我们需要知道1,2,2有多大，就需要知道1,2,1,2有多大，而要知道1,2,1,2有多大，又需要知道1,2,1,1,2有多大....以此类推，这个集合里不存在一个最小的序列能让我们知道其大小，因而我们无法知道1,2,2的实际大小。