|| そういえば順序ってそもそもなに?
『順序』が定義された「集合」のこと(そのまま)
中身(要素)のどれかに『順序』が定義できます。
“順序集合 Ordered Set” の続きを読むまったく縁遠くない数学の使われ方
|| 冪集合を思い出して
この定理は ↓ であることを主張しています。
\begin{array}{llllll} \displaystyle \mathrm{Card}(S)&<&\mathrm{Card}(2^S) \end{array}
“カントールの定理 Cantor’s Theorem” の続きを読む