http://imgur.com/uEZVSB8.jpg

木について質問があります。
↑の画像で赤線を引いたところに、「T の要素 b に対し、 L_b が有限集合のとき、」
と書かれています。

T が木のとき、常に、 L_b は有限集合になると思うのですが、どうでしょうか？

ところで、このように木を定義してある本は他にあるでしょうか？
グラフ理論の本では、有限の木の定義として、閉路を含まない連結グラフという
定義ばかり載っているように思います。