Definition:Strictly Precede/Definition 1

Definition
Let $\left({S, \prec}\right)$ be a strictly ordered set.

If $a, b \in S$ and $a \prec b$, then we say that $a$ strictly precedes $b$, or that $a$ is a strict predecessor of $b$.