>>230

なぜ？
順序集合では射の結合律が成り立っているから、それを拡張するということは
射の結合律は当然仮定すると考えると思うけど。