Generalized Lower and Upper Approximations in Quantales

We introduce the concepts of set-valued homomorphism and strong set-valued homomorphism of a quantale which are the extended notions of congruence and complete congruence, respectively. The properties of generalized lower and upper approximations, constructed by a set-valued mapping, are discussed.