集合論 | 実用的な数学を

整列集合 Well-Ordered

|| 整ってる列

「整列順序」持ちの「集合」のこと。

|| そういえば順序ってそもそもなに？

『順序』が定義された「集合」のこと（そのまま）

中身（要素）のどれかに『順序』が定義できます。

|| 下地・基盤・基礎がしっかりしてる

「正の整数」での「 $0$ 」みたいなものがある感じ。

|| 冪集合を思い出して

この定理は ↓ であることを主張しています。

$\begin{array}{llllll} \displaystyle \mathrm{Card}(S)&<&\mathrm{Card}(2^S) \end{array}$

|| でかさ・中身の個数を表す数

「でかさ」を表す「数」のこと。