什么是递等式?