Definition:Strictly Precede

Also see

 * Strictly Precedes is Strict Ordering


 * Definition:Precede
 * Definition:Immediate Predecessor Element


 * Definition:Succeed
 * Definition:Strictly Succeed


 * Reflexive Reduction of Ordering is Strict Ordering where it is demonstrated that the $\prec$ relation can be defined as the reflexive reduction of the $\preceq$ relation.