Fuzzy rough sets determined by fuzzy implication operators

In this paper, determined by a fuzzy implication operator, a general type of dual pair of lower and upper fuzzy rough approximation operators induced by a fuzzy approximation space is first introduced. Properties of the approximation operators are then examined. Finally, it is proved that the class of all definable sets induced from a serial fuzzy approximation space forms a fuzzy sigma-algebra.