Describir: Una debilitación del axioma de elección para el árbol binario estándar