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