in einer geordneten Menge auf ein Element a unmittelbar „nachfolgendes“ Element b.

Ist die Menge M mit einer Ordnungsrelation „“ versehen, und sind a, b ∈ M, a ≤ b, a ≠ b, so heißt b ein Nachfolger von a genau dann, wenn für jedes c ∈ M aus a ≤ c ≤ b entweder c = a oder c = b folgt.