 Using the axiom of choice, one can show that for any family of sets (A).Moreover, by Tarski's theorem on choice, another equivalent of the axiom of choice, for all finite (B).Let be an infinite set and let denote the set of all finite subsets of .