×

A certain conception of the calculus of rough sets. (English) Zbl 0762.04001

Summary: We consider the family of rough sets. In this family we define, by means of a minimal upper sample, the operations of rough addition, rough multiplication, and pseudocomplement. We prove that the family of rough sets with the above operations is a complete atomic Stone algebra. We prove that the family of rough sets, determined by the unions of equivalence classes of the relation \(R\) with the operations of rough addition, rough multiplication, and complement, is a complete atomic Boolean algebra. If the relation \(R\) determines a partition of a set \(U\) into one-element equivalence classes, then the family of rough sets with the above operations is a Boolean algebra that is isomorphic with a Boolean algebra of subsets of the universe \(U\).

MSC:

03E99 Set theory
Full Text: DOI