急雪扇 自反闭包的计算公式 ●(R)=ROIA IA是集合A上的恒等关系 (证明所给表达式满足自反闭包定义中的三条性质) 1.对任意x∈A,(x,x)EI4,因此，(x,x)∈RUI4 2.RCROI 3.设R集合A上的自反关系，且RcR',则对 任意(x,y)∈RUI4有(xy)∈R,或者(x,y)∈IA 对两种情况，均有(x,y)∈R',因此，RUI4R自反闭包的计算公式  r(R) = RIA , IA是集合A上的恒等关系 (证明所给表达式满足自反闭包定义中的三条性质) 1. 对任意 xA, (x,x)IA , 因此, (x,x)RIA 2. RRIA 3. 设 R’ 集合A 上的自反关系，且RR’, 则对 任意 (x,y)RIA , 有(x,y)R, 或者 (x,y)IA。 对两种情况，均有 (x,y)R’, 因此, RIAR’