في سياق الرياضيات، وخاصة في نظرية الزمر والحلقات، السلف (predecessor) للتابع (successor) يشير إلى العنصر الذي يأتي مباشرة قبل عنصر معين تم الحصول عليه بواسطة عملية التابع.
بعبارة أخرى، إذا كان لدينا تابع s(x)=y، فإن x يعتبر سلفًا لـ y بالنسبة لهذا التابع s.
على سبيل المثال، في مجموعة الأعداد الصحيحة Z مع عملية "إضافة 1" كتابع (s(n)=n+1)، فإن سلف العدد 5 هو 4، لأن s(4)=4+1=5.
وبشكل عام، إذا كان التابع يمثل عملية إضافة عنصر ثابت، فإن السلف يمثل عملية طرح هذا العنصر الثابت.