>>517 & >>519

定理の定義を、カントール集合まで拡張しようというのかね？

（ https://www.axfc.net/u/3870548?key=Lipschitz 「定理1.7 (422 に書いた定理)」の証明PDF より）
「定義1.2 (X,Ｏ) は位相空間とする. S ⊆ X は, 高々可算無限個の閉集合Fi ⊆ X が存在して,
各Fiは内点を持たない,
S ⊆ ∪iFi
が成り立っているとする. このとき,「S は内点を持たない閉集合の高々可算和で被覆できる」と書くことにする.」

だったよね？

Fiとして、"一つのカントール集合"を許す？

そうすると、”個数”の数え方があいまいになるだろ？

”S ⊆ ∪iFi”で、Sは集合濃度で連続まで許すのか？