位相の開基と一点 "x" が与えられたとき、開基に属する集合で "x" を含むようなものの全体は "x" の基本近傍系を成すから、考えている位相が可算開基を持つならば、各点が可算基本近傍系をもつことは明らかである。