Definition:Immediate Successor Element

Let $$\left({S; \le}\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$$".