>>566可算の定義はちがいますよ
「集合位相入門」p70参照