Definition:Forest
From ProofWiki
Definition
A forest is a (usually) disconnected graph whose components are all trees.
A connected forest is just a single tree.
Some sources demand that a forest can not consist of just one tree, i.e. that a forest is always disconnected.
Sources
- Gary Chartrand: Introductory Graph Theory (1977): $\S 4.1$
