自反，就是节点处画一个自己到自己的有向环。
反自反，没有一个自己到自己的有向环。
对称，就是每一条关系线，都对应一个反方向的关系线。
反对称，就是没有一对，关系箭头方向相反的关系线。
自反，从定义上看，里面一个很关键的东西，是“相等关系真包含于关系R”，实际上，只要找出来集合A中所有相等的关系，就是把里面每个元素都不遗漏的和自己配对一次，那么所得到的关系就是自反的。
对称，对称实际上是存在一个∈A,那么在集合A里，肯定能够找到∈A，也就是把任意一个配对两个元素互相换位置的配对，也一定都能够找到，不能遗漏。