Graf \(F\) merupakan hutan jika dan hanya jika terdapat paling banyak satu lintasan di antara setiap pasangan simpul pada \(F\text{.}\)