2014-07-05 ツォルンの補題 数学 定理.(ツォルンの補題) 空でない帰納的な順序集合は極大元が存在する.なぜ「帰納的」順序集合というのかが分からない. 任意の全順序部分集合は上界を持つことだが…これは帰納的という感じなのか?