选择公理（Axiom of Choice，缩写AC）是数学中的一条集合论公理，以下用一个较简单的描述： 选择公理 设C为一个由非空集合所组成的集合。那么，我们可以从每一个在C中的集合中，都选择一个元素和其所在的集合配成有序对来组成一个新的集合。