7.1 树的定义和基本术语;例7.3;补充说明树的分类 (1) 自由树(无根树)结点的排列无关紧要;二树的形式化定义(数学语言定义) 树定义为集合T{K,R}K是包含 n 个结点的有穷集合(n0)关系R满足以下条件 (1) 有且仅有一个结点k0K它对于关系 R 来说没有前驱结点结点k0称作树的根 (2) 除结点k0外K中的每个结点对于关系R来说都有且仅有一个前驱结点 (3) K中每个结点对于关系R