关系基调代数及其性质

关系基调代数是类型代数的一个自然推广。文中首先介绍了关系基调代数的定义，给出了关系基调代数的同态、同余关系等概念；然后证明了：（１）关系基调代数Ａ上的同余关系的集合Ｒｃｏｍ（Ａ）是一个完全格，（２）关系基调代数的同态基本定理；最后讨论了关系规范与关系规范代数。