If the states of a computation (computer program or game) can be well-ordered in such a way that each step is followed by a "lower" step, then the computation will terminate.
如果一个计算（计算机程序或游戏）的状态可以被良序，即在每一个步骤都伴随着“更低”的步骤的方式下，则这个计算必然会终止。