Todos los valores de los nodos del subárbol izquierdo de A deben ser menores al valor del nodo A.