Originariamente inviato da Kaamos
Non sono sicuro di questa condizione di unicità degli elementi, si trovano svariate definizioni di albero binario di ricerca e molte di esse contengono condizioni per i sotto-alberi destri e sinistri tipo "maggiore o uguali di" o "minore o uguale di", il che ovviamente implica che la struttura ammette duplicati.

Però se si seguisse rigorosamente la definizione matematica penso avresti ragione tu, visto che se non sbaglio gli alberi sono grafi e nei grafi gli elementi stanno in un insieme, e gli insieme non possono avere duplicati.
La definizione dice che ogni dato contenuto in un nodo è una chiave, per cui ha un valore univoco e non ci sono ambiguità nella definizione.