Combinatorica`
Combinatorica`

TransitiveQ

TransitiveQ[g]

グラフ g が推移的関係を定義しているならばTrueを返す.

詳細とオプション