二項関係の合成