Un árbol donde cada subárbol de un nodo tiene teclas menos que cualquier otro subárbol del nodo a su derecha. Las claves de un nodo son expresiones entre subárboles y son mayor que cualquier teclado en subárboles a su izquierda y menos que cualquier teclas en subárboles a su derecha.