選擇公理

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