树的数学定义
连通无回路的无向图称为无向树，简称树。若该无向图至少含有两个连通分支，则称为森林。
在无向树中，悬挂顶点称为树叶，度数大于或等于2的顶点称为分支点。
设D是有向图，若D的基图是无向树，则称D为有向树。
设T是n(n≥2)阶有向树，若T中有一个顶点的入度为0，其余顶点的入度均为1，则称T为根树。入度为0的顶点称为树根，入度为1出度为0的顶点称为树叶，入度为1出度不为0的顶点称为内点，内点和树根统称为分支点。从树根到T的任意顶点v的通路（路径）长度称为v的层数，层数最大顶点的层数称为树高。将平凡树也称为根树。
注意：在计算机学中所讨论的树和纯粹数学中的树有所不同。事实上，计算机学中的树就是离散数学中的根树。