筆記

一個非空集合 S  countable，等價於： (1)存在由 S 到正整數的一對一函數 (2)存在由正整數到 S 的映成函數 countable 個的 countable set 聯集仍然 countable countable set 的 finite product 仍然 countable 實數中的任意區間皆不 countable