Estructura arborescente donde cada subárbol de un nodo tiene claves inferiores a las de cualquier subárbol de un nodo a su derecha y superiores a las claves en los subárboles a su izquierda.
Representa los estados u objetivos considerados en un proceso de búsqueda.