c语言编写离散判断是否满足自反（isReflexive），如不是求出自反闭包（reflexiveClosure）判断是否满足对称（isSymmetric），如不满足求出对称闭包（symmetricClosure）判断是否满足反对称（isAntiSymmetric）求出该关系的传递闭包（transitiveClosure，Warshall,使用两种方法求解，分别由两个不同的函数实现），判断该关系是否满足传递性（isTransitive）判断是否等价关系（isEquivalence）