A Remark on Ascending Chain Conditions,
✍
Karl-Heinz Diener
📂
Article
📅
1994
🏛
John Wiley and Sons
🌐
English
⚖ 370 KB
## Abstract It is easy to prove in ZF^−^ (= Zermelo‐Fraenkel set theory without the axioms of choice and foundation) that a relation __R__ satisfies the maximal condition if and only if its transitive hull __R__\* does; equivalently: __R__ is well‐founded if and only if __R__\* is. We will show in