前导函数

predecessor function