参考答案：

是指n（n>=0）个结点的有限集，在任意一棵非空树中：1）有且仅有一个特定的称为根。2）当n>1时，其余结点可分为m（m>0）个互不相交的有限集，其中每一个集合本身又是一棵树。