在图论中，树（）是一种无向图（），其中任意两个顶点间存在唯一一条路径。或者说，只要没有回路的连通图就是树。森林是指互相不交并树的集合。树图广泛应用于计算机科学的数据结构中，比如二叉查找树，堆，Trie树以及数据压缩中的霍夫曼树等等。
定义.如果一个无向简单图"G" 满足以下相互等价的条件之一，那么"G" 是一棵树：如果无向简单图"G"有有限个顶点（设为"n"个顶点），那么"G" 是一棵树还等价于：如果一个无向简单图"G"中没有简单回路，那么"G"是森林。Section