二叉樹常被用於實現二叉查詢樹和二叉堆。在計算機科學中，二叉樹是每個結點最多有兩個子樹的樹結構。通常子樹被稱作“左子樹”和“右子樹”。根據不同的用途可分為：1、完全二叉樹——若設二叉樹的高度為h，除第 h 層外，其它各層 (1～h-1) 的結點數都達到最大個數，第h層有葉子結點，並且葉子結點都是從左到右依次排布，這就是完全二叉樹。2、滿二叉樹——除了葉結點外每一個結點都有左右子葉且葉子結點都處在最底層的二叉樹。3、平衡二叉樹——平衡二叉樹又被稱為AVL樹（區別於AVL演算法），它是一棵二叉排序樹，且具有以下性質：它是一棵空樹或它的左右兩個子樹的高度差的絕對值不超過1，並且左右兩個子樹都是一棵平衡二叉樹。擴充套件資料深度為h的二叉樹最多有個結點(h>=1)，最少有h個結點。對於任意一棵二叉樹，如果其葉結點數為N0，而度數為2的結點總數為N2，則N0=N2+1。有N個結點的完全二叉樹各結點如果用順序方式儲存，則結點之間有如下關係為若I為結點編號則 如果I>1，則其父結點的編號為I/2。如果2*IN，則無左孩子。如果2*I+1

樹,連通但沒有迴路的圖

二叉樹是一類非常重要的樹形結構，它可以遞迴地定義如下：

二叉樹T是有限個結點的集合，它或者是空集，或者由一個根結點u以及分別稱為左子樹和右子樹的兩棵互不相交的二叉樹u(1)和u(2)組成。若用n,n1和n2分別表示T，u(1)和u(2)的結點數，則有n=1+n1+n2 。u(1)和u(2)有時分別稱為T的第一和第二子樹。