整列集合
from
内田 3章 整列集合と選択公理
半順序集合
$ (X,\le)
が任意の空でない集合が
最小元
を持つとき、
整列集合
(
well-ordered set
,
woset
)と呼ぶ
任意の空でない集合が
最小元
を持つ
$ \iff\forall A\in2^X\setminus\{\varnothing\}\exist m\in A\forall x\in A:m\le x
最小元の存在
のこと
takker.icon
References
https://en.wikipedia.org/wiki/Well-order
#2025-06-03
07:31:46
#2025-02-11
17:58:03
#2025-01-23
09:28:45