Definition:Forest

A forest is a disconnected graph whose components are all trees.