木・林・森

グラフ理論での木の定義が本によって違いすぎて分からない．
グラフGの部分グラフTが木であるとは

• 極大な閉路を持たないもの（極大木・全域森）
• V(G)が連結で閉路を持たないもの（全域木）
• V(T)が連結で閉路を持たないもの
• 閉路を持たないもの（林 or 森）

木はE(G)の部分集合のときもある