1. 定义: 几颗互相独立的树的集合