Por el contrario, la negación del axioma de elección afirma que existe una familia de conjuntos —no vacíos— que no posee ninguna función de elección.