Fuzzy closure systems over Heyting algebras as fixed points of a fuzzy Galois connection Manuel Ojeda-Hernández1,∗ , Inma P. Cabrera1 , Pablo Cordero1 and Emilio Muñoz-Velasco1 1 Universidad de Málaga, Andalucía Tech, Spain Abstract Galois connections are useful to model solutions for both pure and application-oriented problems. Throughout the paper, the general framework is a complete fuzzy lattice over a Heyting algebra. We have established a fuzzy Galois connection between the fuzzy powerset lattice and the set of functions in 𝐴. Furthermore, the fixed points, or formal concepts, of this fuzzy Galois connection are exactly the fuzzy closure systems and fuzzy closure operators on 𝐴. The extension of this fuzzy Galois connection to the general framework is discussed but the study of the fixed points is still an open problem. Keywords Closure system, Galois connection, Fuzzy lattice 1. Introduction Galois connections occur in a great variety of mathematical theories and in several instances in the theory of relations [1]. Thus, it makes sense to study their properties separately. Birkhoff [2] pointed out that any binary relation defines a Galois connection between the subsets of two sets and it is easily seen that conversely every Galois connection can be constructed in this manner. This is deeply related to Formal Concept Analysis [3], thus the research on Galois connections complements that on FCA. An interesting source to find the classical notions from FCA, the interrelationship among fixed points, closure operators, systems, and complete lattices can be found in [4]. The fuzzy extension of the notion of Galois connection was introduced by Bělohlávek [5] and the so-called Galois condition, which is an “if and only if” condition in the crisp case, is substituted by the equality of the fuzzy orders. This definition is used for research concerning Fuzzy Formal Concept Analysis. The other main concept used in this paper are closure structures. Closure operators, intro- duced by E.H. Moore in 1910 [6], play a major role in computer science and both pure and applied mathematics [7]. The extension to the fuzzy framework, the so-called fuzzy closure Published in Pablo Cordero, Ondrej Kridlo (Eds.): The 16𝑡ℎ International Conference on Concept Lattices and Their Applications, CLA 2022, Tallinn, Estonia, June 20–22, 2022, Proceedings, pp. 9–17. ∗ Corresponding author. Envelope-Open manuojeda@uma.es (M. Ojeda-Hernández); ipcabrera@uma.es (I. P. Cabrera); pcordero@uma.es (P. Cordero); ejmunoz@uma.es (E. Muñoz-Velasco) Orcid 0000-0003-4785-6802 (M. Ojeda-Hernández); 0000-0001-5129-0085 (I. P. Cabrera); 0000-0002-5506-6467 (P. Cordero); 0000-0002-0117-4219 (E. Muñoz-Velasco) © 2022 Copyright for this paper by its authors. Use permitted under Creative Commons License Attribution 4.0 International (CC BY 4.0). CEUR Workshop Proceedings http://ceur-ws.org ISSN 1613-0073 CEUR Workshop Proceedings (CEUR-WS.org) operators [8, 9], appear in several areas of fuzzy logic and its applications. Its counterpart, the so-called closure systems, have been extended to the fuzzy framework as well. Despite the general agreement upon the definition of fuzzy closure operator, this is not the case for fuzzy closure systems. Thus, we can find several distinct definitions of fuzzy closure system in the literature [8, 10, 11, 12, 13, 14]. The definition of fuzzy closure system used in this paper will be the one of [13], which, even though it is equivalent to the one in [14], is defined directly on Heyting algebras, the framework of this paper. In [13], the framework of the paper was a complete 𝕃-fuzzy lattice (𝐴, 𝜌), where the infimum and the supremum are denoted by ⊓ and ⊔, respectively and 𝕃 is a complete Heyting algebra. The main discussion was searching for a suitable definition of fuzzy closure system. In that, there are two mappings which transform fuzzy closure operators into fuzzy closure systems and vice versa. These mappings are defined as follows, let Φ ∈ 𝐿𝐴 be a fuzzy closure system and c ∶ 𝐴 → 𝐴 be a fuzzy closure operator. Then, c Φ ∶ 𝐴 → 𝐴 is defined as c Φ (𝑎) = ⨅(𝑎𝜌 ∩ Φ) and Φc (𝑎) = 𝜌(c (𝑎), 𝑎). In this paper, we elaborate on these mappings since their domain and codomain does not have to be the set of fuzzy closure systems and the set of fuzzy closure operators, respectively. Actually, these mappings are well-defined for all isotone functions 𝑓 ∶ 𝐴 → 𝐴 and all fuzzy sets 𝑋 ∈ 𝐿𝐴 . The main goal of the paper is studying whether these mappings defined in the most general domains and codomains form a fuzzy Galois connection. As a matter of fact, the fuzzy set Φ𝑓 can be defined for any function 𝑓 on 𝐴, but the fuzzy Galois connection found in the results of the paper requires the use of isotone mappings only. This restriction does not affect the main result of the paper since we are interested in including fuzzy closure operators, which are isotone mappings. Then, it is proved that the fixed points of this fuzzy Galois connection satisfy some additional properties, such as extensionality of inflationarity. The main result of the paper is proving that fixed points of a specific fuzzy Galois connection are the ones formed by a fuzzy closure system and the fuzzy closure operator induced by it. Contrary to the main results in Galois connections and FCA [2, 4] and the first approaches to the fuzzy framework [15], which state that the composition of the mappings in a (fuzzy) Galois connection is a closure operator, in this paper we study one fuzzy Galois connection in particular such that closure operators are the fixed points, i.e., we show that there is a certain fuzzy Galois connection ⟨𝑓 , 𝑔⟩ such that if c ∶ 𝐴 → 𝐴 is a closure operator in 𝐴𝐴 , then 𝑓 𝑔(c ) = c . Last, there is a section of conclusions and further work where the results are discussed and some hints of future research lines are given. 2. Preliminaries For the reader’s convenience, we give the main notions and theorems that are used along this paper. An algebra 𝕃 = (𝐿, ≤, 0, 1, →) is a complete Heyting algebra, [16], if (𝐿, ≤) is a complete lattice, 0 and 1 are the minimum and maximum elements, respectively, and the following condition holds, for all 𝑝, 𝑞, 𝑟 ∈ 𝐿 𝑝∧𝑞 ≤𝑟 if and only if 𝑝≤𝑞→𝑟 (1) In addition, we have the following properties: (𝑝 → 𝑞) ∧ (𝑟 → 𝑠) ≤ (𝑝 ∧ 𝑟) → (𝑞 ∧ 𝑠) (2) 𝑝 ∧ (𝑝 → 𝑞) ≤ 𝑝 ∧ 𝑞 (3) 𝑝 ≤ 𝑞 implies 𝑝 → 𝑟 ≤ 𝑝 → (𝑟 ∧ 𝑞) (4) 𝑝 ∧ (𝑞 ∨ 𝑟) = (𝑝 ∧ 𝑞) ∨ (𝑝 ∧ 𝑟) (5) 𝑝 ∨ (𝑞 ∧ 𝑟) = (𝑝 ∨ 𝑞) ∧ (𝑝 ∨ 𝑟) (6) for all 𝑝, 𝑞, 𝑟 ∈ 𝐿. An 𝕃-set or fuzzy set is a mapping 𝑋 ∶ 𝑈 → 𝐿 from the universe set 𝑈 to the membership values set 𝐿 where 𝑋 (𝑢) means the degree in which 𝑢 belongs to 𝑋. An 𝕃-set 𝐴 is said to be a fuzzy subset of 𝑋 if 𝐴(𝑢) ≤ 𝑋 (𝑢), for all 𝑢 ∈ 𝑈. As usual, the core of 𝑋 is the set of elements such that 𝑋 (𝑥) = 1 and is denoted by 𝐶𝑜𝑟𝑒(𝑋 ). An 𝕃-set 𝑋 ∈ 𝐿𝐴 is said to be extensional if 𝑋 (𝑎) ∧ (𝑎 ≈ 𝑏) ≤ 𝑋 (𝑏), for all 𝑎, 𝑏 ∈ 𝐴. Finally, a crisp set is considered to be a particular case of 𝕃-set by using its characteristic mapping 𝑋 ∶ 𝑈 → {0, 1} with 𝑋 (𝑢) = 1 iff 𝑢 ∈ 𝑋. Operations with 𝕃-sets are defined pointwise as usual. Let 𝑆 ∶ 𝐿𝑈 × 𝐿𝑈 → 𝐿 be a mapping defined by 𝑆(𝐴, 𝐵) = ⋀𝑥∈𝑈 (𝐴(𝑥) → 𝐵(𝑥)). This mapping is called the subsethood degree relation. Whenever 𝐴 is a fuzzy subset of 𝐵, we have 𝑆(𝐴, 𝐵) = 1, and this is denoted by 𝐴 ⊆ 𝐵. The concepts of fuzzy binary relation, its properties, fuzzy poset and fuzzy lattice are used as in the standard definitions, see [17, 18, 19]. Throughout this section (𝐴, 𝜌) will be a fuzzy poset. The lower and upper cone of a fuzzy set 𝑋 are defined as 𝑋𝜌 (𝑎) = ⋀ (𝑋 (𝑥) → 𝜌(𝑎, 𝑥)) and 𝑥∈𝐴 𝑋 𝜌 (𝑎) = ⋀ (𝑋 (𝑥) → 𝜌(𝑥, 𝑎)) for all 𝑎 ∈ 𝐴. 𝑥∈𝐴 Similarly, the following concepts were introduced in [20], Definition 1. An element 𝑎 ∈ 𝐴 is an infimum (resp. supremum) of a fuzzy set 𝑋 ∈ 𝐿𝐴 if: i. 𝑋𝜌 (𝑎) = 1 (resp. 𝑋 𝜌 (𝑎) = 1). ii. 𝑋𝜌 ⊆ 𝑎𝜌 (resp. 𝑋 𝜌 ⊆ 𝑎𝜌 ). As a consequence, if 𝑎 ∈ 𝐴 is infimum (resp. supremum) of 𝑋 ∈ 𝐿𝐴 , then 𝑋 ⊆ 𝑎𝜌 (resp. 𝑋 ⊆ 𝑎𝜌 ). As in the classical case, if the infimum (resp. supremum) of a set exists then it is unique and is denoted by ⨅ 𝑋 (resp. ⨆ 𝑋). In addition, an element 𝑚 ∈ 𝐴 is a minimum (resp. maximum) of 𝑋 if and only if 𝑚 is an infimum (resp. supremum) of 𝑋 and 𝑋 (𝑚) = 1. Theorem 1. Let 𝑋 ∈ 𝐿𝐴 . An element 𝑎 ∈ 𝐴 is the infimum (resp. supremum) of 𝑋 if and only if 𝑋𝜌 = 𝑎𝜌 (resp. 𝑋 𝜌 = 𝑎𝜌 ). A complete fuzzy lattice (𝐴, 𝜌) is a fuzzy poset such that every fuzzy subset 𝑋 ∈ 𝐿𝐴 has supremum and infimum. We denote by ⊥ and ⊤ the bottom and top elements of the complete fuzzy lattice, respectively. The pair (𝐿𝑈 , 𝑆) is an example of complete fuzzy lattice [21], which is called the 𝐿-powerset lattice of 𝑈. A set 𝐵 ⊆ 𝐴 is said to be a complete fuzzy sublattice of 𝐴 if, for all fuzzy set 𝑋 ∈ 𝐿𝐵 , the elements ⨅ 𝑋 and ⨆ 𝑋 are in 𝐵. The focus of this paper is the characterization of closure structures as fixed points of a fuzzy Galois connection. The definition of closure operator is the following. Definition 2. Given a fuzzy preposet 𝔸 = (𝐴, 𝜌), a mapping c ∶ 𝐴 → 𝐴 is said to be a closure operator on 𝔸 if the following conditions hold: i. 𝜌(𝑎, 𝑏) ≤ 𝜌(c (𝑎), c (𝑏)), for all 𝑎, 𝑏 ∈ 𝐴 ii. 𝜌(𝑎, c (𝑎)) = 1, for all 𝑎 ∈ 𝐴 iii. 𝜌(c (c (𝑎)), c (𝑎)) = 1, for all 𝑎 ∈ 𝐴. Conditions i and ii are well-known and are called isotony and inflationarity, respectively. Observe that condition iii could be replaced by (c (c (𝑎)) ≈ c (𝑎)) = 1, and, thus, if 𝔸 is a fuzzy poset, a closure operator is idempotent in a classical sense, i.e., c (c (𝑎)) = c (𝑎) for all 𝑎 ∈ 𝐴. On the other hand, there is not a unique extension of the notion of closure system to a fuzzy setting. The definition we will use in this paper is the following one, introduced in [13]. Definition 3. Let (𝐴, 𝜌) be a complete fuzzy lattice. We say that an 𝕃-set Φ ∈ 𝐿𝐴 is a fuzzy closure system if it is extensional and ⨅ 𝑋 ∈ 𝐶𝑜𝑟𝑒(Φ) for all 𝑋 ⊆ Φ. Fuzzy closure systems and fuzzy closure operators are related concepts. In fact, similarly to the classical case, there is a one-to-one relation among them. Theorem 2. Let 𝔸 = (𝐴, 𝜌) be a complete fuzzy lattice. The following assertions hold: i. If Φ is a fuzzy closure system, the mapping c Φ ∶ 𝐴 → 𝐴 defined as c Φ (𝑎) = ⨅(𝑎𝜌 ∩ Φ) is a closure operator. ii. If c is a closure operator, the fuzzy set Φc defined as Φc (𝑎) = 𝜌(c (𝑎), 𝑎) is a fuzzy closure system. iii. If Φ is a fuzzy closure system, then Φ = Φc Φ . iv. If c ∶ 𝐴 → 𝐴 is a closure operator, then c Φc = c . The following result is a characterization of fuzzy closure systems which is useful in the proofs. Proposition 1. Let (𝐴, 𝜌) be a complete fuzzy lattice. A fuzzy set Φ ∈ 𝐿𝐴 is a fuzzy closure system if and only if Φ is extensional and min(𝑎𝜌 ∩ Φ) exists for all 𝑎 ∈ 𝐴. Fuzzy Galois connections are a main concept in this paper as well. Let us recall the definition. Definition 4 ([19]). Let 𝔸 = ⟨𝐴, 𝜌𝐴 ⟩ and 𝔹 = ⟨𝐵, 𝜌𝐵 ⟩ be fuzzy posets, 𝑓 ∶ 𝐴 → 𝐵 and 𝑔 ∶ 𝐵 → 𝐴 be two mappings. The pair (𝑓 , 𝑔) is called a Galois connection between 𝔸 and 𝔹, denoted by (𝑓 , 𝑔) ∶ 𝔸 ↼ ⇀ 𝔹, if 𝜌𝐴 (𝑎, 𝑔(𝑏)) = 𝜌𝐵 (𝑏, 𝑓 (𝑎)) for all 𝑎 ∈ 𝐴 and 𝑏 ∈ 𝐵. 3. A fuzzy Galois connection between 𝕃-sets and isotone mappings Consider, on the one hand, the 𝕃-powerset lattice of 𝐴, denoted by (𝐿𝐴 , 𝑆), and, on the other hand, the pair (𝐴𝐴 , 𝜌)̃ consisting of the set of (crisp) mappings on 𝐴 and the pointwise 𝕃-order defined as ̃ 1 , 𝑓2 ) = ⋀ 𝜌(𝑓1 (𝑥), 𝑓2 (𝑥)) for all 𝑓1 , 𝑓2 ∈ 𝐴𝐴 . 𝜌(𝑓 𝑥∈𝐴 Among the mappings in (𝐴𝐴 , 𝜌), ̃ the isotone (or “order preserving”) ones play an important role because they reflect the idea of homomorphism betweeen 𝕃-posets. We denote the set of isotone mappings on (𝐴, 𝜌) as (Isot(𝐴𝐴 ), 𝜌). ̃ Proposition 2. The couple (𝐴𝐴 , 𝜌)̃ is a complete fuzzy lattice and (Isot(𝐴𝐴 ), 𝜌)̃ is a complete fuzzy sublattice. Consider now the functions c ∶ (𝐿𝐴 , 𝑆) → (Isot(𝐴𝐴 ), 𝜌)̃ and Ψ ∶ (Isot(𝐴𝐴 ), 𝜌)̃ → (𝐿𝐴 , 𝑆) defined as follows: • c assigns to any Φ ∈ 𝐿𝐴 the mapping c Φ ∶ 𝐴 → 𝐴 where c Φ (𝑎) = ⨅(𝑎𝜌 ∩ Φ) for all 𝑎 ∈ 𝐴. • Ψ assigns to any isotone mapping 𝑓 ∶ 𝐴 → 𝐴 the 𝕃-set Ψ𝑓 ∈ 𝐿𝐴 where Ψ𝑓 (𝑎) = 𝜌(𝑓 (𝑎), 𝑎) for all 𝑎 ∈ 𝐴. The following proposition ensures that the mapping c is well-defined. Proposition 3. For all Φ ∈ 𝐿𝐴 , the mapping c (Φ) is isotone. Proof. For all 𝑥, 𝑦 ∈ 𝐴, we have that 𝜌(𝑥, 𝑦) ≤ ⋀ (𝜌(𝑦, 𝑧) → 𝜌(𝑥, 𝑧)) by transitivity of 𝜌 𝑧∈𝐴 ≤ ⋀ ((𝑦 𝜌 ∩ Φ)(𝑧) → (𝑥 𝜌 ∩ Φ)(𝑧)) by (2.45) in [20] 𝑧∈𝐴 ≤ ⋀ ((𝑦 𝜌 ∩ Φ)(𝑧) → 𝜌(c Φ (𝑥), 𝑧)) by Def. 1 and (2.43) in [20] 𝑧∈𝐴 = 𝜌(c Φ (𝑥), c Φ (𝑦)) by Theorem 1. Hence, both Ψ and c are well-defined. In addition, these mappings are related since they form a Galois connection. Theorem 3. The pair (c , Ψ) forms a fuzzy Galois connection between (𝐿𝐴 , 𝑆) and (Isot(𝐴𝐴 ), 𝜌). ̃ Proof. Consider Φ ∈ 𝐿𝐴 and 𝑓 ∈ (Isot(𝐴𝐴 ), 𝜌). ̃ First, we have that ̃ , c (Φ)) = ⋀ 𝜌(𝑓 (𝑎), c Φ (𝑎)) 𝜌(𝑓 𝑎∈𝐴 = ⋀ ((𝑎𝜌 ∩ Φ)(𝑥) → 𝜌(𝑓 (𝑎), 𝑥)) by Theorem 1 𝑎,𝑥∈𝐴 ≤ ⋀ ((𝑎𝜌 ∩ Φ)(𝑎) → 𝜌(𝑓 (𝑎), 𝑎)) by considering 𝑥 = 𝑎 𝑎∈𝐴 = ⋀ (Φ(𝑎) → 𝜌(𝑓 (𝑎), 𝑎)) by reflexivity 𝑎∈𝐴 = 𝑆(Φ, Ψ(𝑓 )) Conversely, 𝑆(Φ,Ψ(𝑓 )) = ⋀ (Φ(𝑥) → 𝜌(𝑓 (𝑥), 𝑥)) 𝑥∈𝐴 ≤ ⋀ ((𝜌(𝑎, 𝑥) ∧ Φ(𝑥)) → (𝜌(𝑎, 𝑥) ∧ 𝜌(𝑓 (𝑥), 𝑥)) by (2.45) in [20] 𝑥,𝑎∈𝐴 ≤ ⋀ ((𝑎𝜌 ∩ Φ)(𝑥) → (𝜌(𝑓 (𝑎), 𝑓 (𝑥)) ∧ 𝜌(𝑓 (𝑥), 𝑥)) by isotonicity 𝑥,𝑎∈𝐴 ≤ ⋀ ((𝑎𝜌 ∩ Φ)(𝑥) → 𝜌(𝑓 (𝑎), 𝑥)) by transitivity 𝑥,𝑎∈𝐴 ̃ , c (Φ)) = 𝜌(𝑓 by Theorem 1. As usual, a fixed point, or a formal concept, of the fuzzy Galois conection is a couple (Φ, 𝑓 ) such that c (Φ) = 𝑓 and Ψ(𝑓 ) = Φ. The fuzzy Galois connection between these mappings is interesting due to the properties its formal concepts have. The next result proves that the image by c or Ψ satisfy interesting additional properties, such as inflationarity in mappings and extensionality in fuzzy sets. Lemma 1. i. For all Φ ∈ 𝐿𝐴 , the mapping c (Φ) is inflationary. ii. For all 𝑓 ∈ (Isot(𝐴𝐴 ), 𝜌), ̃ we have that Ψ(𝑓 ) is extensional. Proof. First, given Φ ∈ 𝐿𝐴 and 𝑎 ∈ 𝐴, by Theorem 1, we have that 𝜌(𝑎, c Φ (𝑎)) = 𝜌(𝑎, ⨅(𝑎𝜌 ∩ Φ)) = (𝑎𝜌 ∩ Φ)𝜌 (𝑎) = ⋀ ((𝑎𝜌 ∩ Φ)(𝑥) → 𝜌(𝑎, 𝑥)) = 1 𝑥∈𝐴 On the other hand, given 𝑓 ∈ (Isot(𝐴𝐴 ), 𝜌), ̃ for all 𝑥 ∈ 𝐴, we have that Ψ𝑓 (𝑧) ∧ 𝜌(𝑧, 𝑥) ∧ 𝜌(𝑥, 𝑧) = 𝜌(𝑓 (𝑧), 𝑧) ∧ 𝜌(𝑧, 𝑥) ∧ 𝜌(𝑥, 𝑧) ≤ 𝜌(𝑓 (𝑧), 𝑥) ∧ 𝜌(𝑥, 𝑧) by transitivity ≤ 𝜌(𝑓 (𝑧), 𝑥) ∧ 𝜌(𝑓 (𝑥), 𝑓 (𝑧)) by isotoncity of 𝑓 ≤ 𝜌(𝑓 (𝑥), 𝑥) = Ψ𝑓 (𝑥) by transitivity. The following theorem is the main result of the paper. It characterizes the formal concepts of the fuzzy Galois connection. Remarkably, every fixed point of this connection is formed exactly by a fuzzy closure system and a fuzzy closure operator. Theorem 4. The following statements are equivalent: i. The couple (Φ, 𝑓 ) is a fixed point of (c , Ψ). ii. The fuzzy set Φ is fuzzy closure system and 𝑓 = c (Φ). iii. The isotone mapping 𝑓 is a fuzzy closure operator and Φ = Ψ(𝑓 ). Proof. First, items 𝑖𝑖 and 𝑖𝑖𝑖 being equivalent is a direct consequence of Theorem 2. Furthermore, the equivalence between items 𝑖𝑖 and 𝑖𝑖𝑖 proves directly that the couple (Φ, 𝑓 ) is a fixed point of the fuzzy Galois connection. To prove 𝑖 implies 𝑖𝑖, assume (Φ, 𝑓 ) is a fixed point. Then, we have to prove that Φ is a fuzzy closure system. Recall that fuzzy closure systems are extensional fuzzy sets Φ which satisfy ⨅ 𝑋 ∈ 𝐶𝑜𝑟𝑒(Φ), for all 𝑋 ∈ 𝐿𝐴 such that 𝑆(𝑋 , Φ) = 1. Let 𝑋 ∈ 𝐿𝐴 such that 𝑆(𝑋 , Φ) = 1 and let 𝑚 = ⨅ 𝑋. Then, by Definition 1, we get 𝑋 ⊆ 𝑚𝜌 , intersecting Φ we get 𝑋 = 𝑋 ∩ Φ ⊆ 𝑚𝜌 ∩ Φ and taking infima we have 𝜌(⨅(𝑚𝜌 ∩ Φ), ⨅ 𝑋 ) = 1. Using the hypothesis this is 𝜌(𝑓 (𝑚), 𝑚) = 𝜌(c Φ (𝑚), 𝑚) = 1. Thus, Φ(𝑚) = Ψ𝑓 (𝑚) = 1 and ⨅ 𝑋 ∈ 𝐶𝑜𝑟𝑒(Φ). By Lemma 1, Φ is extensional. Hence, Φ is a fuzzy closure system. Notice that the proof uses strongly the restriction of being in a Heyting algebra. However, in the general residuated lattice case, where, as explored in [14], the natural construction of c Φ is ⨅(𝑥 𝜌 ⊗ Φ), the analogous result does not hold. A counterexample of last theorem in the general residuated lattice case is shown below. Example 1. Let 𝕃 = ({0, 0.5, 1}, ∧, ∨, ⊗, →, 0, 1) be the three-valued Łukasiewicz residuated lattice, and (𝐴, 𝜌) be the fuzzy lattice with 𝐴 = {⊥, 𝑎, 𝑏, 𝑐, 𝑑, 𝑒, ⊤} and the fuzzy relation 𝜌 ∶ 𝐴 × 𝐴 → 𝐿 is described by the following table: 𝜌 ⊥ 𝑎 𝑏 𝑐 𝑑 𝑒 ⊤ ⊥ 1 1 1 1 1 1 1 𝑎 0.5 1 0.5 1 1 1 1 𝑏 0.5 0.5 1 1 1 1 1 𝑐 0.5 0.5 0.5 1 1 1 1 𝑑 0 0.5 0 0.5 1 0.5 1 𝑒 0 0 0.5 0.5 0.5 1 1 ⊤ 0 0 0 0.5 0.5 0.5 1 For the fuzzy set Φ = {𝑎/1, 𝑏/0.5}, the mapping c Φ (𝑥) = ⨅(𝑥 𝜌 ⊗ Φ) = 𝑓 (𝑥), which is isotone and inflationary, is 𝑓 (⊥) = 𝑓 (𝑎) = 𝑎; 𝑓 (𝑏) = 𝑐, 𝑓 (𝑐) = 𝑓 (𝑑) = 𝑑 and 𝑓 (𝑒) = 𝑓 (⊤) = ⊤. However, 𝑓 is not a closure operator since it is not idempotent, 𝜌(𝑓 (𝑓 (𝑏)), 𝑓 (𝑏)) = 𝜌(𝑑, 𝑐) = 0.5 ≠ 1. 4. Conclusions and further work This paper continues the line of work which initiated in [13], where fuzzy closure systems were introduced in the Heyting algebra framework. The mappings that take fuzzy closure systems to closure operators and vice versa are studied in a more general setting and are proved to form a fuzzy Galois connection. In addition, the formal concepts of this fuzzy Galois connection are shown to be exactly the fuzzy closure systems and closure operators in 𝐴. As a prospect of future work, since we already know the images of the mappings introduced in [14] are not closure operators and fuzzy closure systems in general, this analysis can be extended to the general framework and study whether these mappings form a fuzzy Galois connection as well and, in the case they do, study the nature of its fixed points. Acknowledgments This work has been supported by the State Agency of Research (AEI), the Spanish Ministry of Science, Innovation, and Universities (MCIU), the European Social Fund (FEDER), the Junta de Andalucía (JA), and the Universidad de Málaga (UMA) through the FPU19/01467 (MCIU) internship and the research projects with reference PGC2018-095869-B-I00,TIN2017-89023-P (MCIU/AEI/FEDER, UE) and UMA2018‐FEDERJA‐001 (JA/UMA/FEDER, UE). References [1] O. Ore, Galois connexions, Transactions of the American Mathematical Society 55 (1944) 493–513. doi:10.2307/1990305 . [2] G. Birkhoff, Lattice theory, 1st ed., American Mathematical Society, Providence, 1940. [3] B. Ganter, R. Wille, Formal Concept Analysis: Mathematical Foundation, Springer, 1999. [4] B. A. Davey, H. A. Priestley, Introduction to Lattices and Order, Second Edition, Cambridge University Press, 2002. URL: https://doi.org/10.1017/CBO9780511809088. doi:10.1017/ CBO9780511809088 . [5] R. Bělohlávek, Fuzzy Galois connections, Mathematical Logic Quarterly 45 (1999) 497–504. doi:10.1002/malq.19990450408 . [6] E. H. Moore, Introduction to a form of general analysis, volume 2, Yale University Press, 1910. [7] N. Caspard, B. Monjardet, The lattices of closure systems, closure operators, and implica- tional systems on a finite set: a survey, Discrete Applied Mathematics 127 (2003) 241–269. doi:10.1016/S0166- 218X(02)00209- 3 . [8] R. Bělohlávek, Fuzzy closure operators, Journal of Mathematical Analysis and Applications 262 (2001) 473–489. doi:10.1006/jmaa.2000.7456 . [9] R. Bělohlávek, B. De Baets, J. Outrata, V. Vychodil, Computing the lattice of all fixpoints of a fuzzy closure operator, IEEE Transactions on Fuzzy Systems 18 (2010) 546–557. doi:10.1109/TFUZZ.2010.2041006 . [10] L. Biacino, G. Gerla, Closure systems and L-subalgebras, Information Sciences 33 (1984) 181–195. doi:10.1016/0020- 0255(84)90027- 6 . [11] J. Fang, Y. Yue, L-fuzzy closure systems, Fuzzy Sets and Systems 161 (2010) 1242–1252. doi:10.1016/j.fss.2009.10.002 . [12] Y.-H. Liu, L.-X. Lu, L-closure operators, L-closure systems and L-closure L-systems on complete L-ordered sets, in: 2010 Seventh International Conference on Fuzzy Systems and Knowledge Discovery, volume 1, 2010, pp. 216–218. doi:10.1109/FSKD.2010.5569695 . [13] M. Ojeda-Hernández, I. P. Cabrera, P. Cordero, E. Muñoz-Velasco, On (fuzzy) closure systems in complete fuzzy lattices, in: 2021 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE), 2021, pp. 1–6. doi:10.1109/FUZZ45933.2021.9494404 . [14] M. Ojeda-Hernández, I. P. Cabrera, P. Cordero, E. Muñoz-Velasco, Closure systems as a fuzzy extension of meet-subsemilattices, in: Joint Proceedings of the 19th World Congress of the International Fuzzy Systems Association (IFSA), the 12th Conference of the European Society for Fuzzy Logic and Technology (EUSFLAT), and the 11th International Summer School on Aggregation Operators (AGOP), Atlantis Press, 2021, pp. 40–47. doi:10.2991/ asum.k.210827.006 . [15] J. Konecny, M. Krupka, Complete relations on fuzzy complete lattices, Fuzzy Sets and Systems 320 (2017) 64–80. doi:10.1016/j.fss.2016.08.007 . [16] P. Hájek, Metamathematics of Fuzzy Logic, Trends in Logic, Springer Netherlands, 2013. [17] I. P. Cabrera, P. Cordero, F. García-Pardo, M. Ojeda-Aciego, B. De Baets, On the construction of adjunctions between a fuzzy preposet and an unstructured set, Fuzzy Sets and Systems 320 (2017) 81–92. [18] M. Ojeda-Hernández, I. P. Cabrera, P. Cordero, Quasi-closed elements in fuzzy posets, Journal of Computational and Applied Mathematics In Press (2021) 113–390. doi:10.1016/ j.cam.2021.113390 . [19] W. Yao, L. X. Lu, Fuzzy Galois connections on fuzzy posets, Mathematical Logic Quarterly 55 (2009) 105–112. doi:10.1002/malq.200710079 . [20] R. Bělohlávek, Fuzzy relational systems: foundations and principles, volume 20, Springer Science & Business Media, 2012. [21] R. Bělohlávek, Lattice-type fuzzy order is uniquely given by its 1-cut: proof and con- sequences, Fuzzy Sets and Systems 143 (2004) 447–458. doi:10.1016/S0165- 0114(03) 00239- 2 .