递等式是什么