User blog comment:Ubersketch/A question about ordinal notations/@comment-35392788-20190828173224/@comment-35392788-20190828215358

I'm sure a well-order implies it, but I'm not sure if it goes both ways. The actual requirement of a well-order is that every non-empty subset of comparable elements must contain a least element.