Numim pădure un graf neorientat în care fiecare componentă conexă a sa este un arbore. Orice pădure cu cel puțin doi arbori este un graf care:
are cicluri şi este conex
are cicluri şi nu este conex
nu are cicluri şi este conex
nu are cicluri şi nu este conex