Lattice Theory Properties of Fuzzy Rough Sets
粗糙模糊集的格论性质

Let U denote a finite and nonempty set called the universe, and P(U) a power set. Suppose R is an equiva-lence relation on U. Consider the equivalence relation ≈ (X≈Y←→^-RX=^-R and RX=RY, X,Y, ∈ F(U)) on F(U),the quotient set denoted by F(U)/≈. In this paper we show that F(U)/≈ is a distributive lattice.