讨论粗糙集代数与刺余格的关系。借助近似代数上的原子及同余关系,证明了在适当选取蕴涵算子及相应的剩余算子之后,粗糙集代数就成为刺余格,并进而证明了粗糙集代数也是MV代数与R0代数。
The relation between rough set algebra and residual lattice is congruence relations of approximation algebra, it is proved that rough set studied. Based on the atoms and algebra becomes proper implication and corresponding complement operators are selected; also rough set MV algebra and R0 algebra.