定理.(ツォルンの補題) 空でない帰納的な順序集合は極大元が存在する.なぜ「帰納的」順序集合というのかが分からない. 任意の全順序部分集合は上界を持つことだが…これは帰納的という感じなのか?
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。