可算選択公理

可算選択公理（Axiom of countable choice）とは、公理的集合論における公理のひとつで、空でない集合からなる可算な集合族があったときに、それぞれの集合から一つずつ元を選び出して新しい集合を作ることができるという公理である。AC_ωとも表記される。名前の通り、選択公理を可算集合族に限定したものになっている。