第二可算的空間
第二可算性は第一可算性よりも強い概念である(つまり、第二可算空間は必ず第一可算にもなる)。空間が第一可算であるというのは、各点が可算な基本近傍系を持つことであった。位相の開基と一点 x が与えられたとき、開基に属する集合で x を含むようなものの全体は x の基本近傍系を成すから、考えている位相が可算開基を持つならば、各点が可算基本近傍系をもつことは明らかである。
第二可算性は他の特定の位相的性質を含意している。具体的には、第二可算空間は可分 (可算な稠密部分集合を持つ) かつ リンデレーフ (任意の開被覆が可算部分開被覆を持つ) である。逆は成り立たない。例えば、実数直線に下限位相を与えたものは、第一可算的、可分、リンデレーフであるが第二可算的ではない。しかし、距離空間に対しては可分性とリンデレーフ性と第二可算性は全て同値である。つまり、実数直線に下限位相を入れたものは距離付け不可能である。
(距離空間としての)第二可算空間においては、コンパクト性、点列コンパクト性、可算コンパクト性は全て同値である。
ウリゾーンの距離化可能定理は第二可算な正則空間は距離付け可能であるということを言っている。従って、このような空間はパラコンパクトであるとともに完全正規である。ゆえに第二可算性は、分離公理を課すだけで距離化可能性が導かれる、位相空間に対するかなり強い制約的性質である。