per ordinato intendi che ogni sottoalbero sinistro di un nodo deve contenere valori minori di quel nodo e ogni sottoalbero destro deve contenere invece valori maggiori (albero binario di ricerca)?
nel testo dell'esercizio non è specificato se l'albero passato in input sia ordinato o no!