Wikiwand AI

Axiom of finite choice

From Wikipedia, the free encyclopedia

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 

References

Related Articles

Timelines

Top Qs

Fact Checks