二元关系的闭包运算的研究

STUDYING CLOSURE OPERATION OF BINARY RELATION

二元关系闭包是一个重要的概念 ,在计算机科学中有着广泛的应用。作者在文中讨论了二元关系的交和逆的自反闭包、对称闭包和传递闭包的一组新结果 ,提出了相容闭包和等价闭包的概念 ,给出了相应的表达式 。

The closure of binary relation is an important concept.It use extensively in computer science.New results of reflexive closure, symmetric closure and transitive closure on intersection and inversion of binary relation are discussed in this paper.Compatible closure and equivalent closure are proposed.The expressions of compatible closure and equivalent closure are given.The theorems on compatible closure and equivalent closure are also proved here.