Definition:Strictly Succeed

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

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$

Strict Successor
If $b \succ a$, then $a$ is a (strict) successor of $b$.

Beware: some sources use the term successor to mean immediate successor.

Also see

 * Succeed
 * Immediate Successor Element


 * Precede
 * Strictly Precede
 * Immediate Predecessor Element