Donat un conjunt no buit C, funció f:℘(C)→C, on
℘(C) és el conjunt de les parts de C, que assigna a cada part X no
buida de C un dels seus elements: f(X)∈X.
L'axioma d’elecció afirma que per a tot conjunt no buit C existeix almenys una funció d’elecció.