Mathématiques, informatique, politique et poésie
L'axiome du choix s'énonce ainsi :
Autrement dit, pour tout ensemble d'ensembles X, il existe une fonction qui à chaque X associe un élément de X. On appelle cette fonction fonction de choix.
