关系的性质:自反性 口R是A上的自反关系台IR 这里L4是集合A上的恒等关系,即:L4={(42)|a∈A} 直接根据定义证明: 口→只需证明:对任意(ab,若(42b∈LA,则(a,b∈R 口<只需证明:对任意的若a∈A则(a,2∈R R 是 A 上的自反关系  IAR, 这里IA是集合A上的恒等关系,即: IA={(a,a)| aA} 直接根据定义证明：   只需证明：对任意(a,b) ，若(a,b)IA, 则(a,b)R   只需证明：对任意的a, 若aA, 则(a,a)R 关系的性质：自反性