ツォルンの補題

定理.(ツォルンの補題
空でない帰納的な順序集合は極大元が存在する.

なぜ「帰納的」順序集合というのかが分からない.
任意の全順序部分集合は上界を持つことだが…これは帰納的という感じなのか?

広告を非表示にする