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