``Re: Update: "Trans-inductive Posets" (= well-founded posets)''
by ratboy on 2006-02-26 21:53:02
The theorem as stated is untrue (unless there is a tacit assumption that < is a partial ordering on X). The "infinite descending chain" need not be a totally ordered set absent some further assumption on <.
![[parent]](http://images.planetmath.org:8080/images/uparrow.png)