Generalized Lower and Upper Approximations in Quantales

الملخص EN

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.