论文部分内容阅读
设A是任意的非空集合,Г是集合A上的半格,f:∧→Г是任意集值变换.通过∧上的板值变换,定义集合∧上由半格Г确定的二元关系,而PГ(∧×∧)是集合∧上由半格Г确定的所有二元关系构成的集合,并且PГ(∧×∧)在二元关系的乘积运算构成半群.利用半群PГ(∧×∧)左单位已有的结论,以及二元关系之间的包含关系,可以获得PГ(∧×∧)的一类左单位的重要特征,从而可以构造出半群PГ(∧×∧)的一类左单位.