在离散数学中，森林是由若干棵互不相交的树组成的集合。而树是由连通且不含回路的无向图组成。因此，森林可以看作是由多个树组成的集合。