Topological and lattice structures of image-fuzzy rough sets determined by lower and upper sets

This paper builds the topological and lattice structures of image-fuzzy rough sets by introducing lower and upper sets. In particular, it is shown that when the image-relation is reflexive, the upper (resp. lower) set is equivalent to the lower (resp. upper) image-fuzzy approximation set. Then by the upper (resp. lower) set, it is indicated that an image-preorder is the equivalence condition under which the set of all the lower (resp. upper) image-fuzzy approximation sets and the Alexandrov image-topology are identical. However, associating with an image-preorder, the equivalence condition that image-interior (resp. closure) operator accords with the lower (resp. upper) image-fuzzy approximation operator is investigated. At last, it is proven that the set of all the lower (resp. upper) image-fuzzy approximation sets forms a complete lattice when the image-relation is reflexive.