递等式有哪些