空樹(Empty Tree)是高度平衡二元搜尋樹AVL
假使T不是空的二元搜尋樹，TL和TR分別是此二元搜尋樹的左子樹和右子樹，若符合下列兩個條件，則稱T為高度平衡二元搜尋樹：
(1)TL和TR亦是高度平衡二元搜尋樹。
(2)|hL-hR| ≤ 1，其中hL及hR分別是TL和TR的高度。