TAPL演習の2.2.6を解いてみた。 【問題】 集合S上の関係Rを与え、関係R’を以下の様に定義する。 R' = R ∪ { (s,s) | S ∍s } R'が反射的閉包であることを示せ。 --------------------------------------------- 反射的閉包は定義2.2.1及び2.2.5より下記の条件…