自反性与反自反性 定义设R为A上的关系, (1)若x(x∈A→<xx>∈R,则称R在A上是自反的 (2)若vx(x∈A→<,x>gR,则称R在A上是反自反的 实例 反关系:A上的全域关系EA,恒等关系I4 小于等于关系LA整除关系D4 反自反关系:实数集上的小于关系 幂集上的真包含关系2 自反性与反自反性 定义 设R为A上的关系, (1) 若x(x∈A→<x,x>R), 则称R在A上是自反的. (2) 若x(x∈A→<x,x>R), 则称R在A上是反自反的. 实例： 反关系：A上的全域关系EA, 恒等关系IA 小于等于关系LA, 整除关系DA 反自反关系：实数集上的小于关系 幂集上的真包含关系