二叉樹的高度是二叉樹結點層次的最大值，也就是其左右子樹的最大高度+1。當二叉樹為空時，高度為0；否則為其左右子樹最大高度+1。二叉樹是遞歸定義的，其結點有左右子樹之分，邏輯上二叉樹有五種基本形態。完全二叉樹的特點是葉子結點只可能出現在層序最大的兩層上，並且某個結點的左分支下子孫的最大層序與右分支下子孫的最大層序相等或大1。
二叉樹是樹形結構的一個重要類型。許多實際問題抽象出來的數據結構往往是二叉樹形式，即使是一般的樹也能簡單地轉換為二叉樹，而且二叉樹的存儲結構及其算法都較為簡單，因此二叉樹顯得特別重要。二叉樹特點是每個結點最多隻能有兩棵子樹，且有左右之分。
二叉樹是n個有限元素的集合，該集合或者為空、或者由一個稱為根的元素及兩個不相交的、被分別稱為左子樹和右子樹的二叉樹組成，是有序樹。當集合為空時，稱該二叉樹為空二叉樹。在二叉樹中，一個元素也稱作一個結點 。二叉樹是指樹中節點的度不大於2的有序樹，它是一種最簡單且最重要的樹。二叉樹的遞歸定義為：二叉樹是一棵空樹，或者是一棵由一個根節點和兩棵互不相交的，分別稱作根的左子樹和右子樹組成的非空樹；左子樹和右子樹又同樣都是二叉樹。
