以下、とを共にposetとする。 定義 (Galois connection) 定理 (Cancellation) 証明 定義内のととしてそれぞれとを取れば直ちに導かれる。∎ 定義 (Poset of monotonic functions) 定理 (Galois connectionの別の定義) 証明 :Cancellationによりとが成り立つの…