Definition:Strictly Precede/Definition 2

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

Let $a \preceq b$ such that $a \ne b$.

Then $a$ strictly precedes $b$.