Definition:Immediate Successor Element

Definition
Let $\left({S, \preceq}\right)$ be a poset.

Let $a, b \in S$.

Then $a$ is the successor to $b$ iff $b$ is the predecessor to $a$.

We say that $a$ immediately succeeds $b$.