书上的答案是非对称关系，而我觉得应该是反对称关系。因为a蕴涵b，不可能推出b蕴涵a的。是不是啊？

是“集和”不是逻辑学问题？
对称-反对称-非对称。
她们三个，不一样。

题目就是这样出的，圆圈是我的答案。

比如，两直线平行 与 同位角相等，是可以互相推出的

可不可以这样理解？等值关系是蕴涵关系的特例？

谢谢eguo宗的解答。

其数学表述为：
1.对称关系：任取a,b∈X, aRb→bRa.
2.反对称关系：任取a,b∈X, aRb→~bRa.
3.非对称关系：任取a,b∈X, ~(aRb→bRa).
我感觉，“非对称关系”在数学上有歧义。不太好说。

非对称关系，可能还有一种表达：
3.非对称关系：任取a,b∈X, ~(aRb→bRa).
4.非对称关系：非【任取a,b∈X, (aRb→bRa)】，
即：【存在a,b∈X, (aRb∧┐（bRa）)】.
这两种不同。

再请关注图片中的第一个答案。夫妻具有反传递关系。我觉得这道题目很好玩。前提要成立必须有人犯重婚罪。然后出题人的意思是同性之间不会有夫妻关系。事实上国外已经有同性可以结婚的先例。所以三个人如果互为夫妻的话估计出题老师要撅倒了。

你看a R b 和R（a,b）是等价的，关系的对称性不考虑指向性。