mmm guarda... non sono più sicuro di quello che ti ho detto.. in realtà l'ordinamento totale sussiste (ho detto una stupidaggine).... Il fatto è che ho trovato alcune definizione di BST in cui la relazione d'ordine è < e non =<...

In base alla tua definizione l'albero dovrebbe essere bst.
Preferisco non darti certezze... sono cose molto lontane nel tempo per me.. :-)