Con esta definición, podemos enunciar el axioma de la elección como: