Definition:Strict Well-Ordering

Also see

 * Definition:Well-Ordering
 * Equivalence of Strict Well-Ordering Definitions