Nachfolger (Mathematik)

im engeren Sinn ein oberer Nachbar; im weiteren Sinn ein Element b einer geordneten Menge M, wenn für ein a ∊ M gilt a < b; a ist dann ein Vorgänger von b. Die Nachfolgerrelation ist besonders charakteristisch für die natürlichen Zahlen; sie nimmt im Rahmen der Peano-Axiome eine