Die Zahl sei durch die Ziffernfolge ${\displaystyle {}a_{k}\ldots a_{1}a_{0}}$ im Dezimalsystem gegeben. Da ${\displaystyle {}0}$ ausgeschlossen ist, muss bei ${\displaystyle {}a_{0}=0}$ die Zahl zumindest zweistellig sein, also ${\displaystyle {}k\geq 1}$. Der Vorgänger zu dieser Zahl wird durch das folgende Verfahren bestimmt.

1. Wenn ${\displaystyle {}a_{0}\neq 0}$ ist, so ersetzt man die hinterste Ziffer ${\displaystyle {}a_{0}}$ durch ihren (einstelligen) Vorgänger. Dieser ist durch die Reihenfolge in der Liste ${\displaystyle {}0,1,2,3,4,5,6,7,8,9}$ bestimmt. Die anderen Ziffern werden übernommen.
2. Wenn ${\displaystyle {}a_{0}=0}$ ist, so sei der Index ${\displaystyle {}s}$ durch die Eigenschaft charakterisiert, dass

   ${\displaystyle {}a_{0}=a_{1}=\ldots =a_{s}=0\,}$

   und ${\displaystyle {}a_{s+1}\neq 0}$ ist. Da die Zahl nicht selbst ${\displaystyle {}0}$ ist, muss es ein solches ${\displaystyle {}s}$ geben. Der Vorgänger ergibt sich, wenn man an den hinteren ${\displaystyle {}s+1}$ Stellen die zusammenhängenden Nullen durch Neunen ersetzt, die Ziffer ${\displaystyle {}a_{s+1}}$ durch ihren einstelligen Vorgänger (gemäß Liste) ersetzt und die übrigen Ziffern beibehält.