Estas aplicaciones son de hecho funciones de elección cuya existencia sólo puede demostrarse en general si se asume el axioma de elección.