问Set属性:无反射性和传递性

EN

例如，如果你看一下Wikipedia: Transitive relation，你会有一个很好的量化表达式，如果你的关系是可传递的，它就会变成真的。

因为它是通用量化的，所以它对于空集是正确的(因为根据定义，关于空集的通用量化表达式是真的)。你说的完全正确。如果R中有(a,b)和(b,a)，那么也必须有(a,a)才能使R传递。

反身性也是普遍量化的(“它是一个集合上的二元关系，其中没有元素与其本身相关。”=> ∀x:~(xRx)或~∃x:xRx)，因此它适用于空集。

传递律，在数学和逻辑中，声明如果A与B有某种关系，B与C有相同的关系，则A与C有相同的关系。在算术中，相等的性质是传递的，因为如果A=B且B= C，则A=C。同样地，如果这两个不等式具有相同的意义:即如果A大于B(即A> B)且B> C，则A> C；如果A小于B(即A< B)并且B< C，则A< C。不传递关系的一个例子是:如果B是A的女儿，C是B的女儿，那么C不是A的女儿；非传递关系的例子是:如果A爱B，而B爱C，那么A可能爱C，也可能不爱C。

无自反关系或反自反关系是自反关系的对立面。它是集合上的二元关系，其中没有元素与其自身相关。“大于”关系(x>y)就是一个例子。请注意，并不是每个非自反的关系都是非自反的；可以定义某些元素与其自身相关而与其他元素不相关的关系。例如，二元关系“x和y的乘积是偶数”在偶数集上是自反的，在奇数集上是非自反的，在自然数集上也不是。