In combinatorics, a forest is an (undirected) graph without cycles. Hence it is a union of trees.

--back to combinatorics--