تابع پسین

در ریاضیات عملگر پسین یا تابع پسین (انگلیسی: Successor function) تابع بازگشتی اولیه ‏(en)‏ S است که در آن برای هر عدد طبیعی n، S(n) = n+1. برای مثل S(1) = ۲ و S(2) = ۳. عملگرهای پسین همچنین در بافتار صفرمین ابرعملگر ‏(en)‏ با عنوان زیریشن ‏(en)‏ شناخته می شوند.
دنباله
از عملگر پسین در اصول موضوعه پئانو استفاده می شود که اعداد طبیعی را تعریف می کند