可算選択公理からの連想であろう