-
自反关系:在一个集合 ( S ) 上,如果关系 ( R ) 满足对于所有 ( a \in S ),都有 ( (a, a) \in R ),那么我们称 ( R ) 是自反的。简单来说,就是每个元素都和自己有关系。
-
反自反关系:在一个集合 ( S ) 上,如果关系 ( R ) 满足对于所有 ( a \in S ),都有 ( (a, a) \notin R ),那么我们称 ( R ) 是反自反的。简单来说,就是每个元素都不和自己有关系。
- 如果一个关系 ( R ) 是自反的,那么对于所有 ( a \in S ),都有 ( (a, a) \in R )。
- 如果一个关系 ( R ) 是反自反的,那么对于所有 ( a \in S ),都有 ( (a, a) \notin R )。
这两个条件显然是互相矛盾的。对于任何一个元素 ( a ),它要么和自己有关系(自反),要么和自己没有关系(反自反),不可能同时满足这两个条件。因此,一个关系不可能同时具有自反和反自反两种性质。