選擇公理英文Axiom of Choice,簡稱AC)係數學入面一條集合論公理。佢有幾種表達方式,其中一種係,畀一個由索引族標籤嘅集合族,當中每一個集都唔係空嘅,咁就存在一個方法,係每個集入面揀一個元素出嚟,形成。另一個表達方法係,存在函數,符合,呢個函數叫做選擇函數。