Definition:Well-Ordering

Also see

 * Definition:Strict Well-Ordering