Axioma de Elección

Un axioma de la teoría de conjuntos que afirma que para cualquier familia de conjuntos no vacíos existe una función de elección que selecciona un elemento de cada conjunto; a menudo abreviado AC y es independiente de los axiomas de Zermelo–Fraenkel (ZF), por lo que su aceptación introduce consecuencias no constructivas.

El principio de que para cualquier colección de conjuntos no vacíos existe una función (función de elección) que selecciona un elemento de cada conjunto; se enuncia como axioma en teoría de conjuntos para afirmar existencia sin proporcionar una regla constructiva.

El principio que afirma que para cualquier familia de conjuntos no vacíos existe una función elección que selecciona un elemento de cada conjunto; abreviado AC, se adopta como un axioma independiente de la teoría de conjuntos ZF.

La afirmación de que para cualquier familia de conjuntos no vacíos existe una función (función de elección) que selecciona un elemento de cada conjunto de la familia, asegurando la existencia de una selección simultánea incluso cuando no se dispone de una regla explícita.