樹是以分支關係定義的層次結構。
（1）樹（tree）是n（n大於等於0）個節點的有限集。在任何一棵非空樹中：（1）有且只有一個特定的稱爲跟（root）的節點；（2）當n>1時，其餘節點可分爲m（m>0）個互不相交的有限集T1,T2,……,Tm,其中每一個集合Ti本身又是一顆樹，並且稱爲根的子樹。
樹的結構定義是一個遞歸定義，也就是說 在樹的定義中用到了樹的概念，樹的結構定義體現了樹的本質特性–遞歸。分等級的分類方案都可以層次結構來體現，也就是說，都可以導致一個樹的結構。
(2)我們知道，數據結構 就是數據及其關係，而節點就是體現這種關係的，樹的節點包含一個數據元素的數據域和若干（m叉樹就有m個指針域）指向子樹的分支。
（3）節點的度，節點擁有子樹的數目稱爲節點的度。
（4）葉子節點，度爲0 的節點，也稱之爲終端節點
（5）樹的度，樹內各節點的度的最大值
（6）節點的孩子，節點的子樹的根稱爲該節點的孩子，該節點稱爲孩子的雙親。同一個雙親的孩子互相稱爲兄弟，
（7）節點的祖先是從根節點到該節點所經分支上的所有節點。
（8）以某節點爲根的子樹中的任一節點都稱爲該節點的子孫。
（9）節點的層次：從根節點開始定義，根爲第一層，根的孩子爲第二層。若某節點在第i層，那麼其子樹的根節點就在第i+1層。
（10）樹的深度（高度）：樹中節點的最大層次稱爲樹的深度
（11）有序樹：如果將樹中節點的各個子樹看成是從左到右有序，則稱該樹爲有序樹，否則稱爲無序樹。在有序樹中，最左邊的的子樹的根節點，稱爲第一個孩子；最右邊的稱爲最後一個孩子。
（12）森林（Forest）是m（m>=0）棵互不相交的樹的集合。對樹中的每個節點而言，其子樹的集合即爲森林。就邏輯結構而言，任何一棵樹是一個二元組Tree = （root， F），其中：root 是數據元素，稱作樹的根節點；F是m（m>=0）棵樹的森林，F=（T1，T2，…,Tm）,其中Ti = （ri，Fi）稱作根root的第i顆子樹；
