二叉树的定义是个递归定义。