Axiome du Choix

Axiome de la théorie des ensembles affirmant que pour toute famille d'ensembles non vides il existe une fonction de choix qui sélectionne un élément dans chaque ensemble ; souvent noté AC et indépendant des axiomes de Zermelo–Fraenkel (ZF), son acceptation entraîne des conséquences non constructives.

Principe selon lequel pour toute collection d'ensembles non vides il existe une fonction (fonction de choix) choisissant un élément de chaque ensemble ; énoncé comme axiome en théorie des ensembles pour assurer l'existence sans fournir de règle constructive.

Le principe affirmant que pour toute famille d'ensembles non vides il existe une fonction de choix qui sélectionne un élément dans chaque ensemble ; abrégé AC, il est admis comme axiome indépendant de la théorie ZF des ensembles.

L'énoncé selon lequel, pour toute famille d'ensembles non vides, il existe une fonction (fonction de choix) qui choisit un élément dans chaque ensemble de la famille, affirmant l'existence d'une sélection simultanée même lorsqu'aucune règle explicite n'est fournie.