位相多様体
0次元多様体は単に離散空間である。そのような空間は濃度によって分類される。任意の離散空間はパラコンパクトである。離散空間が第二可算であることと可算であることは同値である。