可算選択公理
空でない集合からなる任意の可算集合族Fに対し、ある(Fを定義域に持つ)関数 f が存在して、任意のS∈Fに対し f(S)∈Sが成り立つ。
このような関数をFの選択関数と呼ぶ。