Definition:Strictly Succeed
From ProofWiki
(Redirected from Definition:Strict Successor)
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.
