fonction de choix

FONDEMENTS DES MATHEMATIQUES

Une fonction de choix sur un ensemble d’ensembles est une fonction
qui sélectionne un élément distingué dans chacun de ses éléments non
vides. L’axiome du choix affirme que tout ensemble d’ensembles possède
une fonction de choix.