空間が第二可算公理を満たすとは、「その位相が可算な開基を持つ」ということを言う.
、