R)が性質βを満たす」と(B)「RがPI-推移的である」について,(A)⇔(B)を主張する補題と解釈されます。証明では,最初に「二項関係が..すでに述べた」としています。次の「いま,Rが...」から始まる4行が,(A)→(B)の証明です。ここで,対偶を取っていることに注意します。not(B)→not(A)の手順で証明を行っています。次にP.26の1行目からの5行が,(B)→(A)の証明です。ここでも対偶を取っていることに注意します。not(A)→not(B)の手順で証明を行っています。特定の記述項目について,読む上でのポイントを考えるものです。本ホームページの主旨や注意などについては,こちら(「読解のポイントを探る」項目リストページ)をご覧下さい。