تابع پسین

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

از عملگر پسین در اصول موضوعه پئانو ( که اعداد طبیعی و ویژگی های آن ها را پایه ریزی می‌کند) استفاده می‌شود.

جستارهای وابستهویرایش

منابعویرایش