Definition:Strictly Succeed

Definition
Let $\struct {S, \preceq}$ be an ordered set.

Let $a \prec b$.

That is, let $a$ strictly precede $b$.

Then $b$ strictly succeeds $a$.

This can be expressed symbolically as:


 * $b \succ a$

Also see

 * Strictly Succeeds is Strict Ordering


 * Definition:Succeed
 * Definition:Immediate Successor Element


 * Definition:Precede
 * Definition:Strictly Precede