質問です。
「関係」における推移閉包とは、
どの要素を3つ選んでも推移性を満たすものなのか、
ある要素を3つ選んだとき推移性を満たせばいいのか
どちらでしょうか？
推移性の定義の「∀」の意味が良く分からなかったので・・・。