利用同余关系建立了格中的逼近算子,由此定义了格中粗素理想,证明了它是素理想的延伸概念,并讨论了粗素理想的相关性质。
In the paper, we use congruence relations to define approximation operators on a lattice. We introduce the notion of rough prime ideals which is the extended notion of prime ideals. Some properties of such ideals are discussed.