Before continuing to a complete proof, we must discuss the [[Axiom of Choice]]. The axiom states than given any collection of sets (possibly infinitely many sets - possibly uncountably many sets!), there exists a set which contains exactly one element of each.