一个判断关系矩阵的程序,判断自反，对称，传递，反自反等等。有趣-A relationship matrix to determine the procedure to determine the reflexive, symmetric, transmission, anti-reflexive and so on. Interesting. . . .