Ein Binärbaum ist eine nichtlineare Datenstruktur. Er wird als Binärbaum bezeichnet, weil jeder Knoten maximal zwei Kinder hat. Diese Kinder werden als linke Kinder und rechte Kinder bezeichnet. Damit ein Binärbaum zu einem BST wird, muss er die folgenden Eigenschaften erfüllen: Alle Knoten im linken Teilbaum sind kleiner als der Wurzelknoten. Alle Knoten im rechten Teilbaum sind größer als der Wurzelknoten. Der linke und der rechte Teilbaum müssen ebenfalls binäre Suchbäume sein.