定义：树状结构是一个或多个节点的有限集合，它满足：

n有一个特定的点称为根节点（root），

n其余的节点分成n³0个独立的集合T1, …, Tn，每个集合也都是一个树状结构。我们讲T1, …, Tn为根节点的子树（subtree）。

节点与边：节点代表某项资料，而边是指由一节点到另一节点的分支。

祖先(ancestor)即点与子孙(descendant)节点：如图，A是所有节点的祖先，所有节点是A的子孙；而F是K与L的祖先，K与L是F的子孙。

父节点(parent node)与子节点(children node)：如图，B直接连到E与F且只差一个阶度，则B为E与F的父节点，E与F为B的子节点。

兄弟节点(sibling node)：拥有同一父节点的子节点。如：E与F。

叶节点(leaf node)或终点节点(terminal node)：没有子节点的节点。如：J、K等。

非叶节点(non-leaf node)或非终点节点(non-terminal node)：有子节点的节点。 如：A、B、F等等。

根节点(root node)：没有父节点的节点，为树的源头。 如：A。

分支度(degree)：指一个节点有几个子节点。 如：A为3、B为2、C为1、M为0。

阶度(level)：为树中的第几代，而根节点为第一代，阶度为1。

高度(height)：指一节点往下走到叶节点的最长路径。 如：A为3、F为1、L为0。

深度(depth)：指从根节点到某一节点的最长路径。如：C为1、M为3。

树林(forest)：由多个互斥树(disjoint tree)所组成。 如图将A移去便成为树林。

二元树(Binary tree)

二元树里每一节点的最大分支度为2。 如下右(a)、(b)、(c)。

图(a)称做左斜树(left skew tree)，每一节点的右子树皆为为集合。

图(c)称为满枝二元树(fully binary tree)，含有节点数共为2k-1。

图(b)称为完整二元树(complete binary tree)，节点排列顺序同满枝二元树，但节点数小于2k-1 。

二元哪种的第i阶最多有2i-1个节点。

如果有一n个节点的完整二元树，以循序的方式编号，如上图(c)。 则任何一个节点i，1 ≤ i ≤ n，具有以下的特性：

若i = 1，则i为根节点，没有父节点。 而i ≠ 1，其父节点为ëi/2û(表小于i/2的最大整数)。

若2i ≤ n，则i的左子节点在2i。 但若2i > n，则i没有左子节点。

若2i+1 ≤ n，则i的右子节点在2i+1。 但若2i+1 > n，则i没有右子节点。

节点i在第［log2 ］＋1阶。