Binary relations applied to the fuzzy substructures of quantales under rough environment

Binary relations (BIRs) have many applications in computer science, graph theory, and rough set theory. This study discusses the combination of BIRs, fuzzy substructures of quantale, and rough fuzzy sets. Approximation of fuzzy subsets of quantale with the help of BIRs is introduced. In quantale, compatible and complete relations in terms of aftersets and foresets with the help of BIRs are defined. Furthermore, we use compatible and complete relations to approximate fuzzy substructures of quantale, and these approximations are interpreted by aftersets and foresets. This concept generalizes the concept of rough fuzzy quantale. Finally, using BIRs, quantale homomorphism is used to build a relationship between the approximations of fuzzy substructures of quantale and the approximations of their homomorphic images.