べっこう色の記録

かつては日記でしたが、現在は数学のことを多く書いています

ツォルンの補題

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

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