グラフのすべての点を結ぶ、閉路を含まない辺の集合。