axiome du choix

FONDEMENTS DES MATHEMATIQUES

Étant donné un ensemble X d’ensembles non vides, il existe une fonction définie sur X, appelée fonction de choix , qui à chacun d’entre eux associe un de ses éléments.