二叉树是结点的有限集合，这个有限集合或者为【 】，或者由一个根结点及两棵不相交的二叉树组成，分别作为根的左子树和右子树。