|
|
![[parent]](http://images.planetmath.org:8080/images/uparrow.png) Viewing Message
|
|
|
| ``Re: Update: "Trans-inductive Posets" (= well-founded posets)''
by smw on 2006-02-27 09:07:30 |
|
| | Ahh! You are right, of course. Thanks for pointing this out... So let's just add < is an (irreflexive) partial ordering to the hypothesis. |
| | [ reply | up | top ] | |
|
|
|
|
|
|
|
