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

Also, $b$ is called a strict successor of $a$.

This can be expressed symbolically as:


 * $b \succ a$

Also known as
Some sources refer to a strict successor simply as a successor.

Also see

 * Strictly Succeeds is Strict Ordering


 * Definition:Succeed
 * Definition:Immediate Successor Element


 * Definition:Precede
 * Definition:Strictly Precede