二元关系部分,空关系的性质
1、我用的是北京大学出版社的离散数学教程,屈婉玲、耿素云、王捍贫
2、二元关系那一章中,空关系具有什么性质?书上说是反自反、对称、反对称、传递的.
那他为什么不是自反的呢?自反定义是p:任取x.q：有xRx.p推出q为假当且仅当p为真而q为假,而在空关系中,找不到使p为真的赋值（就是取不来x）,那么p恒为假,p推出q就恒真.但是为什么不说他是自反的呢?
3、有没有既自反、又反自反的关系?还有就是空关系在A上的性质,当A是空集和A不是空集的时候是否相同?