Trong lập trình, một hàm được gọi là đệ quy khi nó gọi chính nó trong thân hàm.
Ví dụ:
1. void Recusion()
2. {
3. Recusion();
4 }
Hàm đệ quy không thể gọi tới nó mãi, cần phải có một điểm dừng (còn gọi là điểm neo) tại một trường hợp đặc biệt, gọi là trường hợp suy biến (degenerate case).