Axiom_of_finite_choice
Axiom of finite choice
Axiom in set theory
In mathematics, the axiom of finite choice is a weak version of the axiom of choice which asserts that if is a family of non-empty finite sets, then
- (set-theoretic product).[1]: 14
If every set can be linearly ordered, the axiom of finite choice follows.[1]: 17