Axiom of Choice/Examples/Russell's Socks and Shoes

Example of Use of Axiom of Choice
Suppose we have an infinite number of pairs of socks.

Using the , we can simultaneously pick one sock from each pair.

However, if we also have a infinite number of pairs of shoes, we no longer need the  to pick one shoe from each pair.

We simply choose the left one.

Proof
This is more formally stated as:


 * Given an infinite set of unordered pairs, the  is needed to pick one element from each pair.


 * Given an infinite set of ordered pairs, the  is not needed to pick one element from each of the pairs: we may simply pick the first element of each.