Definition talk:Well-Founded
From ProofWiki
Is this the same as Definition:Well-Ordered Set, or is there some subtle difference I'm missing? --Cynic (talk) 20:21, 8 June 2009 (UTC)
Subtle difference. A well-ordered set is totally ordered, a well-founded set may not be, as it's defined on a partially ordered set. I'm about to post up a few pages on this subject on the way towards some work on the ordinals and cardinals. Infinity will never seem so simple again ... --Matt Westwood 20:32, 8 June 2009 (UTC)
