>>711
↑は二項関係を二項関係の合成で定義してある
↓は二項関係を関数の合成で定義してる
個人的には↑の定義の方が自然で分かりやすいと思う
↓は集合的には何やってるかパッと見分からない