Buenas,
Altura, la definimos como camino mas largo, en cuanto a aristas (árbol vacío y con un nodo tienen altura 0) o en cuanto a nodos (árbol vacio 0, y un nodo 1).
Deduzco de las propiedades que se pretenden que cumpla que es el segundo caso, pero quizas sea la idea que alguna falle, por eso pregunto.
PD: También aprovecho a preguntar, si el ABB a defineir permite repetidos.
Desde ya muchas gracias!