L'enunciáu del axoma d'eleición afirma qu'esiste una función d'eleición pa cada familia de conxuntos non vacíos, esto ye, una función f tal que pa cada conxuntu b del so dominiu, f(b) ∈ b. Na teoría de Zermelo-Fraenkel o similares, el so enunciáu formal ye: