集合划分：
集合A的幂集P(A)的一个子集 π＝{A1,A2,...,Ak} 满足：
（1）π中 没有空集
（2）A1,A2,...,Ak 两两不相交
（3）所有集合的并集A1∪A2∪...∪Ak＝A
称 π 是集合A的一个划分
如果一个等价关系给出在集合 X 上，则所有等价类的集合形成 X 的一个划分。反过来说，如果一个划分 P 给出在 X 上，我们可以定义在 X 上的写为 x ~ y 的等价关系，当且仅当存在 P 的一个成员包含 x 和 y 二者。“等价关系”和“划分”的概念因此本质上是等价的。
树的定义：
分析：树可以为空，若只有一个元素，则关系集为空。H 是关系集，其实质是前驱关系的集合，除根外每个节点有且仅有一个
前驱。除根外的 m 个子树无交集，并且每棵子树有且仅有一个节点的前驱是根。关系集合 H 排除与根的关系后，它本身存
在一个划分，分别对应子树集合。一种简单的定义即，树可以为空，除根节点外，每个节点有且仅有一个前驱节点。
二叉树：有序树，即左右节点位置不可调换。不一定满足 左节点 < 中间节点 < 右节点
满二叉树：中间节点度为2
完全二叉树：对二叉树进行编号, 约定编号从根结点起, 自上而下, 自左而右。如果编号该树所有节点与满二叉树一样，则是完全二叉树
二叉查找树、二叉有序树：左节点 < 中间节点 < 右节点
前驱节点：树线性化后，前面的节点
后继节点：树线性化后，后面的节点
B- 树即 B 树：
作用：大规模文件检索，不宜多次 io，故发明了 B 树。磁盘目录系统和数据库多采用该结构。