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$$.