Axiom of finite choice
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
If every set can be linearly ordered, the axiom of finite choice follows.
Applications
An important application is that when is a measure space where is the counting measure and is a function such thatthen for at most countably many.