论文部分内容阅读
在完全分配格L的基础上，通过从分子到一般元素的映射φ，抽象地定义L上的两个一元算子，即下方φ-近似算子型，和上方φ-近似算子^——aprφ，可证明（L，∨，∧，^c，O，1，apr——φ，^——aprφ）在一定条件下是一个Pawlak代数，称为φ－Pawlak代数．并给出了下方φ－近似算子apr——φ，和上方φ－近似算子^——aprφ的一些代数性质．