Corollary I.5.6 (可算集合の積)

• Corollary I.5.6 (可算集合の積) #Card
  • 2 つの可算集合の直積はどうなるか。

Back

The product of two countable sets is countable.

（可算和の可算性 Proposition I.5.4 の証明中で示される: $X \times Y$ は ${x} \times Y$ たちの可算和。土台は $\mathbb{N} \times \mathbb{N}$ の対角掃引による列挙。）

Lean

Countable.prod（instCountableProd）