グラフ理論:連結である

(Gは)連結である

Gの任意の2頂点が通路で結ばれる