基于二元关系的内核运算

提出了二元关系的一种新的运算,称之为内核运算。其思想是通过删除给定集合X上的二元关系R的若干序偶,使之满足某些特殊性质。严格定义了反自反内核、对称内核、反对称内核、传递内核,给出了相应的构造方法,同时进行了严格论证。讨论了内核运算的一些性质以及与闭包运算的关系。

Kernel Operation Based on Binary Relation

This paper means to introduce a new operation of binary relation,called kernel operation.The idea is to delete some pairs in binary relation R on a given set X to satisfy some pairs special properties(such as antireflexive,symmetric,etc.).this paper also strictly defines these terms:antireflexive kernel,symmetric kernel,antisymmetric kernel,transitive kernel and give Some methods on constructing all kinds of kernels(except transitive kernel)with strict proof.It last discusses some characteristics of kernel ...