On the lattice of fuzzy rough sets

By the means of lower and upper fuzzy approximations we define quasiorders. Their properties are used to prove our main results. First, we characterize the pairs of fuzzy sets that form fuzzy rough sets w.r.t. a t-similarity relation θ on U, for certain t-norms and implicators. If U is finite or the range of θ and of the fuzzy sets is a fixed finite chain, we establish conditions under which fuzzy rough sets form lattices. We show that this is the case for the min t-norm and any S-implicator defined by an involutive negator and the max co-norm.