選択公理よりも弱い公理として、可算選択公理()というものも考えられている。