第一可算公理を満たし、可分である位相空間は第二可算公理を満たす。