判断二元关系性质，能很好的判断二元关系的自反性、反自反性，对称性，反对称性，传递性-Determine the nature of binary relation, binary relation can be a good judge of reflexive anti-reflexivity, symmetry, anti-symmetry, transitivity