关系的性质

Properties of Relations

想知道为什么这些是下面的答案。我的书没有很好地解释。感谢您的帮助!:

判断这个二元关系是否是:1)自反,2)对称,3)反对称,4)传递: Z 上的关系 R 其中 aRb 表示 a^2=b^2 答案:1)自反,2)对称,3)传递

Z 是 integer set

reflexive:

aRa for all a in Z

symmetric

aRb <-> bRa for all a,b in Z

transitive:

aRb & bRc -> aRc for all a,b,c in Z

只需将 R 替换为您的运算符,Z 中的关系很简单