Двоичное дерево поиска (англ. binary search tree, BST) — это двоичное дерево, для которого выполняются следующие дополнительные условия (свойства дерева поиска):

• Оба поддерева — левое и правое — являются двоичными деревьями поиска.
• У всех узлов левого поддерева произвольного узла X значения ключей данных меньше, нежели значение ключа данных самого узла X.
• У всех узлов правого поддерева произвольного узла X значения ключей данных больше либо равны, нежели значение ключа данных самого узла X.

Binary Search Tree ADT Operations:

• Insert(k): вставка элемента k в дерево.
• Delete(k): удаление элемента k.
• Search(k): поиск значения элемента k в структуре, есть он или нет.
• FindMax(): поиск максимального значения.
• FindMin(): поиск минимального значения.