Axiome du choix

[ Definition ]
Étant donné un ensemble \(E\), il existe une fonction \(f\) qui à une partie non vide de \(E\) associe un élément de cette partie.
En savoir plus