Definition:Precede

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

Let $a, b \in S$ such that $a \preceq b$.

Then $a$ precedes $b$.