Trong toán học, hàm tiết triển hoặc phép tiết triển (tiếng Anh: successor function hoặc successor operation) gửi một số tự nhiên cho số tiếp theo. Hàm kế tiếp được ký hiệu là S, nên S(n) = n+1. Ví dụ, S(1) = 2 và S(2) = 3. Hàm tiết triển là một trong những thành phần cơ bản để xây dựng hàm đệ quy cơ bản từ đó.Các phép tiết triển còn được gọi là điệp thừa trong ngữ cảnh của hệ vi thừa đầu tiên: H0(a, b) = 1 + b. Trong ngữ cảnh này, phần mở rộng của điệp thừa là phép cộng, được định nghĩa là tiết triển lặp lại.