自反性与非自反性
定义
设R为A上的关系
- 若 ∀ \forall ∀x(x∈A-><x,x>∈R),则称R在A上是自反的
- 若 ∀ \forall ∀x(x∈A-><x,x> ∉ \notin ∈/R),则称R在A上是反自反的
实例
对称性与反对称性
定义
设R为A上的关系
- 若 ∀ \forall ∀x ∀ \forall ∀y(x,y ∈ \in ∈A ∧ \wedge ∧<x,y> ∈ \in ∈R-><y,x> ∈ \in ∈R),则称R为A上对称的关系
- 若 ∀ \forall ∀x ∀ \forall ∀y(x,y ∈ \in ∈A ∧ \wedge ∧<x,y> ∈ \in ∈R ∧ \wedge ∧<y,x> ∈ \in ∈R->x=y),则称R为A上的反对称关系
实例
传递性
定义
设R为A上的关系,若 ∀ \forall ∀x ∀ \forall ∀y ∀ \forall ∀z(x,y,z ∈ \in ∈A ∧ \wedge ∧<x,y> ∈ \in ∈R ∧ \wedge ∧<y,z> ∈ \in ∈R-><x,z> ∈ \in ∈R),则称R是A上的传递关系
实例
关系性质的充要条件
关系性质判别
实例
关系闭包
设R是非空集合A上的关系, R的自反(对称或传递)闭包是A上的关系R‘, 使得R’满足以下条件:
- R’是自反的(对称的或传递的)
- R ⊆ \subseteq ⊆R‘
- 对A上任何包含R的自反(对称或传递)关系 R’‘ 有 R’ ⊆ \subseteq ⊆R‘’.
一般将 R 的自反闭包记作 r®, 对称闭包记作 s®, 传递闭包记作 t®.