El Axioma de Elección (AC, por sus siglas en inglés) dice que dada una familia $\calF$ de conjuntos no vacíos, puedo elegir un elemento de cada uno. Hay varias maneras equivalentes de formular esto más precisamente:

• Hay una función $f$ tal que $f(A)\in A$ para todo $A\in\calF$;
• (si los conjuntos de $\calF$ son disjuntos) Hay un conjunto $C$ tal que su intersección con cada $A\in\calF$ es un singulete;
• etcétera.

Continue reading →