离散

自反性：每个节点都有环。

反自反性：每个节点都没环。（两个有环一个没环无自反性）

上面两个只能有一个。

对称性：无边或都是双边（双边的条数不限）。

反对称性：都是单边。

当只有点无边或只有环时具有对称与反对称。

传递性：只要有双边就有双环，要有三角形。即R。R属于R<1,2>→<2,1>→<1,1>.....

我傻儿算法即画出矩阵后从第一列算到最后一列，是这样算的先找出为1的序偶假设只有<1,2>写出<1,k>∨<2,k>改变第一列将第二列与第一列进行并，即第二列上为1的第一列也必须为1(不用管零)。这种算法用在求t（R）上，叫传递闭包。

也可用定义去求，这种算法对于太多元素过于复杂。

还有自反闭包和对称闭包但另外两个太简单了。

<a,R>为一个偏序集 ，R为偏序，偏序一般这样写≤。求覆盖cov｛a｝=即是求两元素 间符合关系且无第三者即为cov｛a｝的一个序偶。