選擇公理(英文:Axiom of Choice,簡稱AC)係數學入面一條集合論公理。佢有幾種表達方式,其中一種係,畀一個由索引族I{\displaystyle I}標籤嘅集合族(Si)i∈I{\displaystyle (S_{i})_{i\in I}},當中每一個集都唔係空嘅,咁就存在一個方法,係每個集入面揀一個元素出嚟,形成(xi)i∈I{\displaystyle (x_{i})_{i\in I}}。另一個表達方法係,存在函數f:I→⋃Si{\displaystyle f:I\to \bigcup S_{i}},符合f(i)∈Si{\displaystyle f(i)\in S_{i}},呢個函數f{\displaystyle f}叫做選擇函數。