xiom of countablity 【数学】 可算公理《各点の近傍が可算個の基をもつ位相空間は第一可算公理をみたすという; 開集合に対する可算個の基がある位相空間は第二可算公理をみたすという》.