Successor

Successor (synonym efterföljare), begrepp inom logik.

Successorn till ett naturligt tal ${\displaystyle a}$ är det minsta tal som är större än ${\displaystyle a}$. Annorlunda uttryckt är successorn till a dess omedelbara efterföljare, därav namnet.