Abstract
We consider fuzzy rough sets defined on De Morgan Heyting algebras. We present a theorem that can be used to obtain several correspondence results between fuzzy rough sets and fuzzy relations defining them. We characterize fuzzy rough approximation operators corresponding to compositions of reflexive, transitive, mediate, Euclidean and adjoint fuzzy relations defined on De Morgan Heyting algebras using only a single axiom.
Similar content being viewed by others
Explore related subjects
Discover the latest articles, news and stories from top researchers in related subjects.Avoid common mistakes on your manuscript.
1 Introduction
Rough sets were introduced by Pawlak (1982) to deal with concepts that cannot be defined precisely in terms of our knowledge. In rough set theory, knowledge about objects U is given in terms of an indistinguishability relation E, which is an equivalence E on U, interpreted so that two elements are E-related if we cannot distinguish them in terms of the knowledge E. For each subset X, the lower approximation \(X_E\) is the set of elements whose E-equivalence class is included in X. The set \(X_E\) is interpreted as the set of elements that certainly belong to X in view of the knowledge E. The upper approximation \(X^E\) consists of elements whose E-class intersects with X. The set \(X^E\) can be seen as the set of elements which possibly belong to X. This means that every vague concept can be approximated from below and above by two sets that are definable by the knowledge E.
In the literature, numerous studies can be found in which equivalences are replaced by an arbitrary binary relation reflecting, for instance, similarity or preference between the elements; see Orłowska (1998), Yao and Lin (1996), for example. Also, in such a generalized setting, the lower approximation \(X_R\) consists of elements which necessarily are in X and \(X^R\) is the set of elements which possibly are in X, in the view on knowledge R.
Fuzzy sets introduced by Zadeh (1965) are generalizations of traditional sets, such that the set-memberships are expressed by a real number of the interval [0, 1]. Similarly, Zadeh defined fuzzy relations as generalizations of traditional binary relations. Soon after Zadeh’s paper, Goguen (1967) defined the so-called L-fuzzy sets and L-fuzzy relations, in which the [0, 1]-interval is replaced by a complete lattice L having 0 as the smallest and 1 as the greatest elements. Since then, all kinds of structures, such as Heyting algebras or residuated lattices, have been presented as a basis for fuzzy sets (Pavelka 1979).
The first approach to integrate rough set theory and fuzzy set theory is the paper by Dubois and Prade (1990), where they introduced fuzzy rough sets. A comprehensive evaluation of the most relevant fuzzy rough set models proposed in the literature can be found in D’eer et al. (2015).
Correspondences are understood as conditions that connect the properties of relations to the properties of approximation operations. For instance, if R is an arbitrary binary relation on U, then R is symmetric if and only if \((X_R)^R \subseteq X \subseteq (X^R)_R\) holds for all subsets X of U. Correspondences for binary relations are well studied in the literature. For instance, reflexive, symmetric, and transitive relations are characterized in Järvinen (2005). In Yao and Lin (1996), the authors considered serial, reflexive, symmetric, transitive, and Euclidean relations. Correspondences for serial, reflexive, mediate, transitive, and alliance relations are given in Zhu (2007). However, there seems to be a problem in the characterization of alliance relations, and we consider this issue in Example 3.27.
As noted above, there are several ways to generalize rough sets to fuzzy rough sets. This means that there are various types of correspondence results in the literature depending on the setting. For instance, in Radzikowska and Kerre (2004), the authors considered L-fuzzy rough approximations in the case L is a complete residuated lattice. They characterized serial, reflexive, symmetric, Euclidean, and transitive L-fuzzy relations. In Wu and Zhang (2004), the authors presented correspondences for reflexive, symmetric, transitive, and Euclidean [0, 1]-fuzzy relations. Similar study of [0, 1]-fuzzy rough sets can be found in Liu (2008). Some other recent types of fuzzy rough approximations and their correspondences are considered in Jin and Ling-Qiang (2023), Sun et al. (2020), Sun and Shi (2023), Wei et al. (2021), Xu et al. (2023), Zhao and Shi (2021), for example.
In Pang et al. (2019), the authors consider such L-fuzzy relations that L is a Heyting algebra provided with an antitone involution \('\). This means that L is a so-called De Morgan Heyting algebra. Three new types (mediate, Euclidean, and adjoint) of L-fuzzy rough approximation operators were characterized in that paper. In this work, we adopt their approach. We will present a new uniform method in Theorem 3.2 which covers the results in Pang et al. (2019), and several others.
Liu (2013) initiated the study of characterizing fuzzy rough set approximations by only one axiom. In Pang et al. (2019), the authors provided an axiomatic approach to L-fuzzy rough approximation operators, where L is a De Morgan Heyting algebra. They also presented single axioms to characterize L-fuzzy rough approximation operators corresponding to mediate, Euclidean, and adjoint L-fuzzy relations as well as their compositions. In that work, they gave the following open problem: “Using single axioms to characterize L-fuzzy rough approximation operators corresponding to compositions of serial, reflexive, symmetric, transitive, mediate, Euclidean and adjoint L-fuzzy relations.” In this work, we present a general solution to this problem, which covers also other types of relations and their compositions.
The paper is structured as follows. In Sect. 2, we recall from the literature notions and basic results used in this work. More precisely, in Sect. 2.1, we consider the essential correspondence results related to (crisp) binary relations and rough approximation operations. In this work, we consider fuzzy rough sets on De Morgan Heyting algebras, and Sect. 2.2 covers the basic facts of these types of algebras.
Section 3 is devoted to the correspondence results characterizing properties of L-fuzzy relations in terms of fuzzy rough approximation operators. In Sect. 3.1, we present a result which is frequently used in other subsections to prove correspondences. We present correspondence for reflexive and symmetric (Sect. 3.2), transitive and mediate (Sect. 3.3), Euclidean and adjoint (Sect. 3.4), and functional and positive alliance relations (Sect. 3.5). There are several ways to generalize serial relations to their fuzzy counterparts, and in Sect. 3.6, we consider three such generalizations.
Finally, in Sect. 4, we solve the problem given in Pang et al. (2019) and some concluding remarks end the work.
2 Preliminaries
In this section, we first recall correspondences between (crisp) binary relations and rough approximation operations. The second part of this section considers De Morgan Heyting algebras and fuzzy rough approximation operations defined on them.
2.1 Binary relations and rough approximation operators
A binary relation on U is a set of ordered pairs (x, y), where x and y are elements of U. If x and y are R-related, then this is denoted by \(x \, R \, y\) or \((x,y) \in R\).
Let us introduce some general properties of binary relations. A binary relation R on U is
-
(i)
serial, if for all \(x \in U\), there is \(y \in U\), such that \(x \, R \, y\),
-
(ii)
reflexive, if \(x \, R \, x\) for all \(x \in U\),
-
(iii)
symmetric, if \(x \,R \, y\), then \(y \, R \, x\) for all \(x,y \in U\),
-
(iv)
transitive, if \(x \, R \, y\) and \(y \, R \, z\), then \(x \, R \, z\) for all \(x,y,z \in U\),
-
(v)
mediate, if \(x \, R \, y\) for some \(x,y \in U\), there is \(z \in U\), such that \(x \, R \, z\) and \(z \, R \, y\),
-
(vi)
Euclidean, if \(x \, R \, y\) and \(x \, R \, z\), then \(y \, R \, z\) for all \(x,y,z \in U\).
Next, we recall (see, e.g., Järvinen 2005; Yao and Lin 1996) rough approximation operations defined by arbitrary relations. For any subset \(X \subseteq U\), the lower approximation of X is defined as
The upper approximation of X is
The following correspondence results can be found in the literature; see Järvinen (2005), Yao and Lin (1996), Zhu (2007), for instance:
-
(i)
R is serial \(\iff U^R = U \iff \emptyset _R = \emptyset \iff (\forall X \subseteq U) \, X_R \subseteq X^R\),
-
(ii)
R is reflexive \(\iff (\forall X \subseteq U) \, X_R \subseteq X \iff (\forall X \subseteq U) \, X \subseteq X^R\),
-
(iii)
R is symmetric \(\iff (\forall X \subseteq U) \, (X_R)^R \subseteq X \iff (\forall X \subseteq U) \, X \subseteq (X^R)_R\),
-
(iv)
R is transitive \(\iff (\forall X \subseteq U) \, (X^R)^R \subseteq X^R \iff (\forall X \subseteq U) \, X_R \subseteq (X_R)_R\).
-
(v)
R is mediate \(\iff (\forall X \subseteq U) \, X^R \subseteq (X^R)^R \iff (\forall X \subseteq U) \, (X_R)_R \subseteq X_R\).
-
(vi)
R is Euclidean \(\iff (\forall X \subseteq U) \, X^R \subseteq (X^R)_R \iff (\forall X \subseteq U) \, (X_R)^R \subseteq X_R\).
In this work, we consider similar correspondences in the setting of L-fuzzy rough sets when a complete De Morgan Heyting algebra is defined on L.
2.2 Approximation operators in De Morgan Heyting algebras
We begin by recalling some definitions from Castaño and Santis (2011). A Heyting algebra is an algebra
of type (2, 2, 2, 0, 0) for which \((H, \vee , \wedge , 0,1)\) is a bounded distributive lattice and \(\Rightarrow \) is the operation of relative pseudocomplementation, that is, for \(a,b, c \in H\), \(a \wedge c \le b\) iff \(c \le a \Rightarrow b\).
A De Morgan Heyting algebra is an algebra
of type (2, 2, 2, 1, 0, 0), such that \((L, \vee , \wedge , \Rightarrow , 0, 1)\) is a Heyting algebra and \('\) is an antitone involution, that is, \((x \wedge y)' = x' \vee y'\) and \(x'' = x\) for all \(x \in L\).
Example 2.1
Let us consider the four-element lattice \(L:= 0< a,b < 1\) in which the elements a and b are incomparable. Then, \((L, \vee , \wedge , \Rightarrow , 0, 1)\) is a well-known Heyting algebra.
There are two ways to define the operation \('\) in L. We can define
It is also possible to define
In both cases, we have a De Morgan Heyting algebra defined on L.
A complete lattice L satisfies the join-infinite distributive law if for any \(S \subseteq L\) and \(x \in L\)
![figure a](http://media.springernature.com/lw685/springer-static/image/art%3A10.1007%2Fs00500-023-09444-7/MediaObjects/500_2023_9444_Figa_HTML.png)
The dual condition is the meet-infinite distributive law, (MID). It is well known that a complete lattice defines a Heyting algebra if and only if it satisfies (JID). Each De Morgan Heyting algebra \({\textbf{L}}\) defined on a complete lattice L satisfies both (JID) and (MID), because \('\) is an order isomorphism between \((L,\le )\) and its dual \((L,\ge )\). In this work, De Morgan Heyting algebras defined on a complete lattice are called complete De Morgan Heyting algebras.
Let \({\textbf{L}}\) be a complete De Morgan Heyting algebra and U a universe. An L-fuzzy set on U is a mapping \(A :U \rightarrow L\). We often drop the word ‘fuzzy’ and speak about L-sets. The family of all L-sets on U is denoted by \({\mathcal {F}}_L(U)\).
The set \({\mathcal {F}}_L(U)\) may be ordered pointwise by setting for \(A,B \in {\mathcal {F}}_L(U)\), \(A \le B\) if and only if \(A(x) \le B(x)\) for all \(x \in U\). If \({\textbf{L}}\) is a complete De Morgan Heyting algebra, then \({\mathcal {F}}_L(U)\) forms a complete De Morgan Heyting algebra, such that for all \(\{A_i\}_{i \in I} \subseteq {\mathcal {F}}_L(U)\) and \(x \in U\)
The operations \(\Rightarrow \) and \('\) are defined for \(A,B \in {\mathcal {F}}_L(U)\) and \(x \in U\) by
The map \({\textbf{0}} :x \mapsto 0\) is the smallest and \({\textbf{1}} :x \mapsto 1\) is the greatest element of \({\mathcal {F}}_L(U)\), respectively.
An L-fuzzy relation R on U is a mapping \(U \times U \rightarrow L\). We often use the term “L-relation” instead of “L-fuzzy relation”. The following definition of L-approximations can be found in Pang et al. (2019).
Definition 2.2
Let \({\textbf{L}}\) be a complete De Morgan Heyting algebra, R an L-relation on U and \(A \in {\mathcal {F}}_L(U)\). The upper L-fuzzy approximation and lower L-fuzzy approximation of A are defined by
respectively.
If there is no danger of confusion, we may denote \({\textsf{U}}(A)\) and \({\textsf{L}}(A)\) simply by \({\textsf{U}}A\) and \({\textsf{L}}A\). In addition, L-fuzzy approximations are called simply L-approximations.
In Pang et al. (2019), the following properties of L-approximations generalizing well-known properties of crisp rough approximations are proved.
Proposition 2.3
Let U be a set, L a complete De Morgan Heyting algebra, and R an L-relation on U. For \(\{A_i\}_{i \in I} \subseteq {\mathcal {F}}_L(U)\), \(A \in {\mathcal {F}}_L(U)\) and \(x \in U\), the following assertions hold:
-
(1)
\({\textsf{L}}{\textbf{0}} = {\textbf{0}}\) and \({\textsf{U}}{\textbf{1}} = {\textbf{1}}\);
-
(2)
\(({\textsf{U}}A)' = {\textsf{L}}(A')\) and \(({\textsf{L}}A)' = {\textsf{U}}(A')\);
-
(3)
\({\textsf{U}}({\bigvee }_i A_i) = {\bigvee }_i {\textsf{U}}(A_i)\) and \({\textsf{L}}({\bigwedge }_i A_i ) = {\bigwedge }_i {\textsf{L}}(A_i)\);
-
(4)
\({\textsf{U}}( {\bigwedge }_i A_i) \le {\bigwedge }_i {\textsf{U}}(A_i)\) and \({\textsf{L}}( {\bigvee }_i A_i ) \ge {\bigvee }_i {\textsf{L}}(A_i)\).
For \(a\in L\), we define a ‘constant’ L-set \({\overline{a}}\) by
This means that \({\overline{0}} = {\textbf{0}}\) and \({\overline{1}} = {\textbf{1}}\). For any \(x \in U\), we define a map \(I_x\) by
The idea is that the map \(I_x\) corresponds to the singleton \(\{x\}\). For any \(x,y \in U\), \({\textsf{U}}(I_y)(x) = \bigvee _z (R(x,z) \wedge I_y(z))\). Because \(I_y(z) = 1\) iff \(z = y\), we obtain the following equality, which will be used frequently in this work:
It is noted in Pang et al. (2019) that each \(A \in {\mathcal {F}}_L(U)\) can be written in two ways
Note that \((I_x)'\) corresponds the set-theoretical complement \(U {\setminus } \{x\}\) of the singleton \(\{x\}\), and the latter equality is clear by Lemma 3.17 of Pang et al. (2019). The following facts were also proved in Pang et al. (2019).
Lemma 2.4
Let L be a complete De Morgan Heyting algebra and R an L-relation on U. For all \(a \in L\) and \(A \in {\mathcal {F}}_L(U)\)
-
(1)
\({\textsf{U}}({\overline{a}}) \le {\overline{a}} \le {\textsf{L}}({\overline{a}})\);
-
(2)
\({\textsf{U}}({\overline{a}} \wedge A) = {\overline{a}} \wedge {\textsf{U}}(A)\) and \({\textsf{L}}({\overline{a}} \vee A) = {\overline{a}} \vee {\textsf{L}}(A)\);
-
(3)
\({\textsf{U}}({\overline{a}} \vee A) \le {\overline{a}} \vee {\textsf{U}}(A)\) and \({\textsf{L}}({\overline{a}} \wedge A) \ge {\overline{a}} \wedge {\textsf{L}}(A)\).
3 Correspondence results
In this section, we assume that \({\textbf{L}}\) is a complete De Morgan Heyting algebra, U is a universe, and R is an L-relation on U.
3.1 A general result
In this subsection, we present a general result which can be used to obtain several correspondence results. Let \({\mathcal {S}}\) be a finite combination of rough approximation operators \({\textsf{L}}\) and \({\textsf{U}}\). Because the operators \({\textsf{L}}\) and \({\textsf{U}}\) are order-preserving, the operator \({\mathcal {S}}\) is order-preserving. From this, it follows that:
Lemma 3.1
For all \(a \in L\)
Proof
We prove the claim by induction. If \(n = 1\), then the two cases \({\bar{a}} \wedge {\textsf{U}}(I_x) \le {\textsf{U}}({\bar{a}} \wedge I_x)\) and \({\bar{a}} \wedge {\textsf{L}}(I_x) \le {\textsf{L}}({\bar{a}} \wedge I_x)\) are clear by Lemma 2.4 by setting \(A = I_x\).
Suppose that the claim holds for all combinations consisting of n \({\textsf{L}}\) and \({\textsf{U}}\) operators. Let \({\mathcal {S}}\) be a combination \(n + 1\) operators. Then, \({\mathcal {S}} = {\textsf{U}}\circ {\mathcal {S}}_1\) or \({\mathcal {S}} = {\textsf{L}}\circ {\mathcal {S}}_2\), where \({\mathcal {S}}_1\) and \({\mathcal {S}}_2\) are combinations of \({\textsf{U}}\) and \({\textsf{L}}\) of length n.
If \({\mathcal {S}} = {\textsf{U}}\circ {\mathcal {S}}_1\), then
If \({\mathcal {S}} = {\textsf{L}}\circ {\mathcal {S}}_2\), then
\(\square \)
Theorem 3.2
Let \({\mathcal {S}}\) be a finite combination of rough approximation operators \({\textsf{L}}\) and \({\textsf{U}}\). If \({\textsf{U}}(I_x) \le {\mathcal {S}}(I_x)\) for all \(x \in U\), then \({\textsf{U}}(A) \le {\mathcal {S}}(A)\) for all \(A \in {\mathcal {F}}_L(A)\).
Proof
Assume that \({\textsf{U}}(I_x) \le {\mathcal {S}}(I_x)\) for all \(x \in U\). Then
\(\square \)
3.2 Reflexive and symmetric relations
Let us start with the following definition.
Definition 3.3
An L-relation R is reflexive, if
The following lemma gives a characterization of reflexivity.
Lemma 3.4
An L-relation R is reflexive if and only if for all \(x \in U\), \(I_x \le {\textsf{U}}({I_x})\).
Proof
If R is reflexive, \({\textsf{U}}({I_x})(x) = R(x,x) = 1 = I_x(x)\) for all \(x \in U\). If R is not reflexive, then there is \(x \in U\), such that \(R(x,x) \ne 1\). Now, \(I_x(x) = 1\) and \({\textsf{U}}(I_x)(x) = R(x,x) \ne 1\), giving \(I_x \nleq {\textsf{U}}({I_x})\). \(\square \)
Proposition 3.5
Let \({\textbf{L}}\) complete De Morgan Heyting algebra and R an L-relation on U. Then, the following are equivalent:
-
(1)
R is reflexive;
-
(2)
\((\forall A \in {\mathcal {F}}_L(U)) \, A \le {\textsf{U}}A\);
-
(3)
\((\forall A \in {\mathcal {F}}_L(U)) \, {\textsf{L}}A \le A\).
Proof
Suppose that R is reflexive. Then, by Lemma 3.4, \(I_x \le {\textsf{U}}({I_x})\) for all \(x \in U\). We have that for \(A \in {\mathcal {F}}_L(U)\)
Thus, (1) implies (2). Suppose that (2) holds. Then, for all \(x \in U\), \(I_x \le {\textsf{U}}({I_x})\), which by Lemma 3.4 yields that R is reflexive. Thus, also (2) implies (1).
We prove that (2) and (3) are equivalent. Assume (2) holds. Then, for any \(A \in {\mathcal {F}}_L(U)\), \(A' \le {\textsf{U}}(A') = ({\textsf{L}}A)'\), which implies \({\textsf{L}}A \le A\). Similarly, if (3) holds, then \({\textsf{L}}(A') \le A'\) implies \(A \le ({\textsf{L}}(A'))' = {\textsf{U}}(A)\). \(\square \)
A binary relation \(\rho \) is symmetric whenever, for all \(x,y \in U\), \(x \, \rho \, y\) implies \(y \, \rho \, x\). The symmetry condition can be expressed in the form \((x \, \rho ^c \, y) \vee (y \rho \, x)\), where \(\rho ^c\) denotes the complement of the relation \(\rho \), that is, \(\rho ^c = (U \times U) \setminus \rho \). Based on this fact, we present the following definition.
Definition 3.6
An L-relation R symmetric if \((\forall x,y \in U) \, R(x,y)' \vee R(y,x) = 1\).
We can now express symmetry in terms of \(I_x\) and L-approximations.
Lemma 3.7
An L-relation R is symmetric if and only if for all \(x \in U\), \(I_x \le {\textsf{L}}{\textsf{U}}(I_x)\).
Proof
For all \(x \in U\)
If R is symmetric, then \({\textsf{L}}{\textsf{U}}(I_x)(x) = 1\), which means that \({\textsf{L}}{\textsf{U}}(I_x)(x) \ge I_x (x)\). On the other hand, if \( {\textsf{L}}{\textsf{U}}(I_x) \ge I_x\), then \( {\textsf{L}}{\textsf{U}}(I_x)(x) = 1\) and \(\bigwedge _y (R(x,y)' \vee R(y,x)) = 1\). This gives that for each y, \(R(x,y)' \vee R(y,x) = 1\). \(\square \)
We can now write the following characterization of symmetric L-relations.
Proposition 3.8
Let \({\textbf{L}}\) complete De Morgan Heyting algebra and R an L-relation on U. Then, the following are equivalent:
-
(1)
R is symmetric;
-
(2)
\((\forall A \in {\mathcal {F}}_L(U)) \, A \le {\textsf{L}}{\textsf{U}}A\);
-
(3)
\((\forall A \in {\mathcal {F}}_L(U)) \, {\textsf{U}}{\textsf{L}}A \le A\).
Proof
Suppose that R is symmetric. Then, by Lemma 3.7, \(I_x \le {\textsf{L}}{\textsf{U}}(I_x)(x)\) for each \(x \in U\). We have that
This means that (1) implies (2). If we set \(A = I_x\) in (2), we get that \(I_x \le {\textsf{L}}{\textsf{U}}(I_x)\) for \(x \in U\). Hence, R is symmetric. The equivalence of (2) and (3) follows easily by the duality of approximation operations. \(\square \)
We end this subsection by the following remark.
Remark 3.9
For a fuzzy relation R, symmetry is typically expressed by a condition
![figure b](http://media.springernature.com/lw685/springer-static/image/art%3A10.1007%2Fs00500-023-09444-7/MediaObjects/500_2023_9444_Figb_HTML.png)
Let us briefly consider how this relates to the symmetry of Definition 3.6.
The three-element chain \({\textbf{3}}:= 0< u < 1\) is a well-known Heyting algebra. The operation \('\) is defined by \(0' = 1\), \(u' = u\), and \(1' = 0\). Assume that \(U = \{x,y\}\). Let us define a \({\textbf{3}}\)-fuzzy relation R on U in such a way that \(R(x,y) = R(y,x) = u\), \(R(x,x) = 0\) and \(R(y,y) = 1\). Now, the relation satisfies (S*). However, \(R(x,y)' \vee R(y,x) = u \vee u = u\), so (S*) does not imply symmetry in the sense of Definition 3.6.
On the other hand, consider the 4-element Heyting algebra \(L:= 0< a,b < 1\), where a and b are incomparable. Let the operation \('\) be defined by \(0' = 1\), \(a' = a\), \(b' = b\), and \(1' = 0\). Assume \(U = \{x,y\}\) and define the L-relation R by \(R(x,x) = 1\), \(R(y,y) = 0\), \(R(x,y) = a\), \(R(y,x) = b\). Now, R is symmetric in the sense of Definition 3.6, but \(R(x,y) \ne R(y,x)\), that is, (S*) does not hold.
It remains an open problem whether (S*) be characterized in terms of fuzzy rough approximation operations.
3.3 Transitive and mediate relations
Definition 3.10
An L-relation is transitive, if \((\forall x,y,z \in U) \, R(x, z) \wedge R(z, y) \le R(x, y)\).
Obviously, transitivity is equivalent to that \((\forall x,y \in U) \,\bigvee _z (R(x, z) \wedge R(z, y)) \le R(x, y)\).
Lemma 3.11
An L-relation R is transitive if and only if for all \(x \in U\), \({\textsf{U}}{\textsf{U}}(I_x) \le {\textsf{U}}(I_x)\).
Proof
For all \(x \in U\)
which is below \(R(y,x) = {\textsf{U}}(I_x)(y)\) by the transitivity of R.
On the other hand, for all \(x,y \in U\)
If \({\textsf{U}}{\textsf{U}}(I_y) \le {\textsf{U}}(I_y)\), then the transitivity condition holds for x and y, which completes the proof. \(\square \)
The next proposition characterizes transitive L-relations in terms of approximation operations.
Proposition 3.12
Let \({\textbf{L}}\) be a complete De Morgan Heyting algebra and R an L-relation on U. Then, the following are equivalent:
-
(1)
R is transitive;
-
(2)
\((\forall A \in {\mathcal {F}}_L(U)) \, {\textsf{U}}{\textsf{U}}A \le {\textsf{U}}A\);
-
(3)
\((\forall A \in {\mathcal {F}}_L(U)) \, {\textsf{L}}A \le {\textsf{L}}{\textsf{L}}A\).
Proof
Assume that R is transitive. By Lemma 3.11, \({\textsf{U}}{\textsf{U}}(I_x) \le {\textsf{U}}(I_x)\) for \(x \in U\). We get that
Thus, (2) holds. Conversely, if (2) holds, then \({\textsf{U}}{\textsf{U}}(I_x) \le {\textsf{U}}(I_x)\) for all \(x \in U\) and R is transitive. The equivalence of (2) and (3) is clear. \(\square \)
We recall the following definition from Pang et al. (2019).
Definition 3.13
An L-relation R is called mediate if \((\forall x,y \in U) \, R(x,y) \le \bigvee _z ( R(x,z) \wedge R(z,y) )\).
Lemma 3.14
An L-relation R is mediate if and only if for all \(x \in U\), \({\textsf{U}}{\textsf{U}}(I_x) \ge {\textsf{U}}(I_x)\).
Proof
For all \(x,y \in U\)
which completes the proof. \(\square \)
We may now write the following proposition.
Proposition 3.15
Let \({\textbf{L}}\) be a complete De Morgan Heyting algebra and R an L-relation on U. Then, the following are equivalent:
-
(1)
R is mediate;
-
(2)
\((\forall A \in {\mathcal {F}}_L(U)) \, {\textsf{U}}A \le {\textsf{U}}{\textsf{U}}A\);
-
(3)
\((\forall A \in {\mathcal {F}}_L(U)) \, {\textsf{L}}{\textsf{L}}A \le {\textsf{L}}A\).
Proof
Assume that R is mediate. By Lemma 3.14, \({\textsf{U}}(I_x) \le {\mathcal {S}} (I_x) = {\textsf{U}}{\textsf{U}}(I_x)\) for all \(x \in U\), where \({\mathcal {S}}\) denotes the combination \({\textsf{U}}{\textsf{U}}\). Therefore, \({\textsf{U}}A \le {\mathcal {S}}(A) = {\textsf{U}}{\textsf{U}}A\) for all \(A \in {\mathcal {F}}_L(U)\) follows directly from Theorem 3.2. Therefore, (2) implies (1). By applying \(A = I_x\), it is immediate that (2) implies (1).
The equivalence of (2) and (3) can be proved as in our earlier proofs. \(\square \)
3.4 Euclidean and adjoint relations
A binary relation \(\rho \) is Euclidean if \(x \, \rho \, y\) and \(x \, \rho \, z\) imply \(y \, \rho \, z\). Obviously, \(x \, \rho \, y\) and \(x \, \rho \, z\) imply also \(z \, \rho \, y\). As noted in Pang et al. (2019), this is equivalent to that \(x \, \rho \, z\) and \(z \, \rho ^c \, y\) imply \(x \, \rho ^c \, y\).
Definition 3.16
An L-relation R on U is called Euclidean if
Obviously, being Euclidean is equivalent to the condition
![figure c](http://media.springernature.com/lw685/springer-static/image/art%3A10.1007%2Fs00500-023-09444-7/MediaObjects/500_2023_9444_Figc_HTML.png)
Lemma 3.17
An L-relation R is Euclidean if and only if for all \(x \in U\), \({\textsf{U}}(I_x) \le {\textsf{L}}{\textsf{U}}(I_x)\).
Proof
Let \(x,y \in U\). As we have noted, \({\textsf{U}}(I_y)(x) = R(x,y)\) and
If R is Euclidean, then \(R(x,y)' \ge \bigvee _z (R(x,z) \wedge R(z,y)' )\), which implies
This means that \({\textsf{U}}(I_y) \le {\textsf{L}}{\textsf{U}}(I_y)\).
On the other hand, if \({\textsf{U}}(I_y) \le {\textsf{L}}{\textsf{U}}(I_y)\), then for all \(x \in U\), \({\textsf{U}}(I_y)(x) \le {\textsf{L}}{\textsf{U}}(I_y)(x)\), and thus,
Applying De Morgan operation \('\) for the both sides of the relation, we obtain that (euc) holds. \(\square \)
The next proposition characterizes Euclidean L-relations in terms of approximations.
Proposition 3.18
Let \({\textbf{L}}\) be a complete De Morgan Heyting algebra and R be an L-relation on U. Then, the following are equivalent:
-
(1)
R is Euclidean;
-
(2)
\((\forall A \in {\mathcal {F}}_L(U)) \, {\textsf{U}}A \le {\textsf{L}}{\textsf{U}}A\);
-
(3)
\((\forall A \in {\mathcal {F}}_L(U)) \, {\textsf{U}}{\textsf{L}}A \le {\textsf{L}}A\).
Proof
If R is Euclidean, then \({\textsf{U}}(I_x) \le {\textsf{L}}{\textsf{U}}(I_x)\) for all \(x \in U\). By Theorem 3.2, \({\textsf{U}}A \le {\textsf{L}}{\textsf{U}}A\) for all \(A \in {\mathcal {F}}_L(U)\). Thus, (2) implies (1). By applying \(A = I_x\), we see that (2) implies (1). The equivalence of (2) and (3) is obvious. \(\square \)
We recall from Pang et al. (2019) the definition of adjoint relations.
Definition 3.19
An L-relation R on U is adjoint if
We can now characterize adjoint relations in terms of \(I_x\) and fuzzy approximations operations.
Lemma 3.20
An L-relation R is adjoint if and only if for all \(x \in U\), \({\textsf{U}}(I_x) \le {\textsf{U}}{\textsf{L}}(I_x)\).
Proof
For all \(x,y \in U\), we have the following equality:
If R is adjoint, then
which is equivalent to \({\textsf{U}}(I_y)(x) \le {\textsf{U}}{\textsf{L}}({I_y})(x)\). Hence, \({\textsf{U}}(I_y) \le {\textsf{U}}{\textsf{L}}({I_y})\) for all \(y \in U\). Conversely, if \({\textsf{U}}(I_y) \le {\textsf{U}}{\textsf{L}}(({I_y})\) for all \(y \in U\), then by the above equality, R is adjoint. \(\square \)
We can now extend Lemma 3.20 to the following correspondence for adjoint relations using our Theorem 3.2.
Proposition 3.21
Let \({\textbf{L}}\) be a complete De Morgan Heyting algebra and R an L-relation on U. Then, the following are equivalent:
-
(1)
R is adjoint;
-
(2)
\((\forall A \in {\mathcal {F}}_L(U)) \, {\textsf{U}}A \le {\textsf{U}}{\textsf{L}}A\);
-
(3)
\((\forall A \in {\mathcal {F}}_L(U)) \, {\textsf{L}}{\textsf{U}}A \le {\textsf{L}}A\).
Proof
If R is adjoint, then \({\textsf{U}}(I_x) \le {\textsf{U}}{\textsf{L}}(I_x)\) for all \(x \in U\). Theorem 3.2 gives that \({\textsf{U}}A \le {\textsf{U}}{\textsf{L}}A\) for all \(A \in {\mathcal {F}}_L(U)\). Thus, (1) implies (2). By applying \(A = I_x\), we see that (2) implies (1).
The equivalence of (2) and (3) is clear by the duality. \(\square \)
3.5 Functional and alliance relations
A binary relation \(\rho \) is functional when each \(x \in U\) is \(\rho \)-related to at most one element. This means that \(x \, \rho \, y\) implies that for all \(z \in (U {\setminus } \{y\})\), \(x \, \rho ^c \, y\). Based on this, we present the following definition.
Definition 3.22
Thus, an L-relation R on U is functional if
The condition means that \(R(x,y) \le R(x,z)'\) holds for all \(x,y \in U\) and \(z \ne y\).
Lemma 3.23
An L-relation R is functional if and only if for all \(x \in U\), \({\textsf{U}}(I_x) \le {\textsf{L}}(I_x)\).
Proof
For all \(x,y \in U\), \({\textsf{U}}(I_y)(x) = R(x,y)\) and
Because for all \(y \in U\), \({\textsf{U}}(I_y) \le {\textsf{L}}(I_y)\) is equivalent to that \({\textsf{U}}(I_y)(x) \le {\textsf{L}}(I_y)(x)\) for all \(x,y \in U\), the claim is proved. \(\square \)
Proposition 3.24
Let \({\textbf{L}}\) be a complete De Morgan Heyting algebra and R an L-relation on U. Then, the following are equivalent:
-
(1)
R is functional;
-
(2)
\((\forall A \in {\mathcal {F}}_L(U)) \, {\textsf{U}}A \le {\textsf{L}}A\).
Proof
If R is functional, then \({\textsf{U}}(I_x) \le {\textsf{L}}(I_x)\) for all \(x \in U\). By Theorem 3.2, we obtain \({\textsf{U}}A \le {\textsf{L}}A\) for all \(A \in {\mathcal {F}}_L(U)\). Conversely, if \({\textsf{U}}A \le {\textsf{L}}A\) for any \(A \in {\mathcal {F}}_L(U)\), then \({\textsf{U}}(I_x) \le {\textsf{L}}(I_x)\) for all \(x \in U\). \(\square \)
‘Positive alliance’ relations were defined in Zhu (2007) by stating that a binary relation \(\rho \) is a positive alliance if for any elements \(x,y \in U\), such that \(x \, \rho ^c \, y\), there is \(z \in U\) satisfying \(x \, \rho \, z\), but \(z \, \rho ^c \, y\).
It is clear that each reflexive relation is positive alliance, because if \(a \, \rho ^c \, b\), then \(a \, \rho \, a\) and \(a \, \rho ^c \, b\) hold trivially.
The following facts can be found in Ma et al. (2015), but for the sake of completeness, we give a proof.
Lemma 3.25
Let \(\rho \) be a serial and transitive binary relation on U. Then, the following conditions hold:
-
(1)
\(\rho \) is a positive alliance;
-
(2)
for all \(X \subseteq U\), \((X^\rho )_\rho \subseteq X^\rho \).
Proof
-
(1)
Suppose \(a \, \rho ^c \, b\). Because \(\rho \) is serial, there is c, such that \(a \, \rho \, c\). Now, \(c \, \rho \, b\) is not possible, because that would imply \(a \, \rho \, b\), contradicting \(a \, \rho ^c \, b\). Thus, \(c \, \rho ^c \, b\).
-
(2)
If \(\rho \) is a serial binary relation on U, then \(X_\rho \subseteq X^\rho \) for all \(X \subseteq U\). In particular, \((X^\rho )_\rho \subseteq (X^\rho )^\rho \). If \(\rho \) is also transitive, then \((X^\rho )^\rho \subseteq X^\rho \). Thus, if \(\rho \) is serial and transitive, \((X^\rho )_\rho \subseteq X^\rho \).
\(\square \)
On the other hand, it is clear that if \(\rho \) is a positive alliance, then it is serial. However, there are positive alliance relations that are not transitive.
Example 3.26
Let \(U = \{a,b,c\}\) and let \(\rho = \{ (a,b), \)\( (b,b), (c,a), (c,c) \}\). Then, \(\rho \) is serial, but not transitive, because \(c \, \rho \, a\) and \(a \, \rho \, b\), but \(c \, \rho ^c \, b\). Now, we have that:
-
\(a \, \rho ^c a\), and there is b such \(a \, \rho \, b\) and \(b \, \rho ^c \, a\);
-
\(a \, \rho ^c c\), and there is b such \(a \, \rho \, b\) and \(b \, \rho ^c \, c\);
-
\(b \, \rho ^c a\), and there is b such \(b \, \rho \, b\) and \(b \, \rho ^c \, a\);
-
\(b \, \rho ^c c\), and there is b such \(b \, \rho \, b\) and \(b \, \rho ^c \, c\);
-
\(c \, \rho ^c b\), and there is c such \(c \, \rho \, c\) and \(c \, \rho ^c \, b\).
Hence, \(\rho \) is a positive alliance.
It is clear that for all \(x,y \in U\), \(y \in \{x\}^\rho \iff y \, \rho \, x\). Therefore
As proved in Zhu (2007), \(\rho \) is a positive alliance if and only if \((\{x\}^\rho )^c \subseteq ( (\{x\}^\rho )^c )^\rho \) for all \(x \in U\). Note that the latter condition is equivalent to that \((\{x\}^\rho )_\rho \subseteq \{x\}^\rho \) for all \(x \in U\).
Example 3.27
It is commonly accepted (see Ma et al. 2015; Zhu 2007, for instance) that for any binary relation \(\rho \), the following are equivalent:
-
(1)
\(\rho \) is a positive alliance;
-
(2)
for all \(X \subseteq U\), \((X^\rho )_\rho \subseteq X^\rho \).
It is now clear that (2) implies (1) by the fact that \(\rho \) is a positive alliance if and only if \((\{x\}^\rho )_\rho \subseteq \{x\}^\rho \) for all \(x \in U\). Next, we give a counter example, showing that (1) does not imply (2).
Let the relation \(\rho \) be given in Fig. 1. The relation \(\rho \) is a positive alliance, because:
-
\(1 \, \rho ^c 1\), and there is 4 such \(1 \, \rho \, 4\) and \(4 \, \rho ^c \, 1\);
-
\(1 \, \rho ^c 2\), and there is 4 such \(1 \, \rho \, 4\) and \(4 \, \rho ^c \, 2\);
-
\(1 \, \rho ^c 3\), and there is 4 such \(1 \, \rho \, 4\) and \(4 \, \rho ^c \, 3\);
-
\(2 \, \rho ^c 1\), and there is 2 such \(2 \, \rho \, 2\) and \(2 \, \rho ^c \, 1\);
-
\(2 \, \rho ^c 4\), and there is 2 such \(2 \, \rho \, 2\) and \(2 \, \rho ^c \, 4\);
-
\(3 \, \rho ^c 3\), and there is 1 such \(3 \, \rho \, 1\) and \(1 \, \rho ^c \, 3\);
-
\(3 \, \rho ^c 4\), and there is 2 such \(3 \, \rho \, 2\) and \(2 \, \rho ^c \, 4\);
-
\(4 \, \rho ^c 1\), and there is 4 such \(4 \, \rho \, 4\) and \(4 \, \rho ^c \, 1\);
-
\(4 \, \rho ^c 2\), and there is 4 such \(4 \, \rho \, 4\) and \(4 \, \rho ^c \, 2\);
-
\(4 \, \rho ^c 3\), and there is 4 such \(4 \, \rho \, 4\) and \(4 \, \rho ^c \, 3\).
We have that
Let us consider the set \(\{3,4\}\). Now, \(\{3,4\}^\rho = \{1,2,4\}\) and \((\{3,4\}^\rho )_\rho = \{1,2,4\}_\rho = \{1,3,4\}\). This means that
This obviously implies that there is a positive alliance \(\rho \), such that
contradicting Theorem 2(5) in Ma et al. (2015).
For L-relations, we can present the following generalized definition.
Definition 3.28
An L-relation R is said to be a positive alliance if
We can now write the following lemma characterizing positive alliance relations in terms of the approximations of the identity functions. But as in the case of (crisp) binary relations, we obviously cannot present a full correspondence result.
Lemma 3.29
An L-relation R is a positive alliance if and only if for all \(x \in U\), \({\textsf{U}}(I_x) \ge {\textsf{L}}{\textsf{U}}(I_x)\).
Proof
Let \(x,y \in I\). We have
Thus
Now, \({\textsf{U}}(I_x) \ge {\textsf{L}}{\textsf{U}}(I_x)\) for all \(x \in U\) if and only if \({\textsf{U}}(I_y)(x) \ge {\textsf{L}}{\textsf{U}}(I_y)(x)\) for all \(x,y \in U\) if and only if \(({\textsf{U}}(I_y)(x))' \le ({\textsf{L}}{\textsf{U}}((I_y)(x))'\) for all \(x,y \in U\), and the equivalence follows from this. \(\square \)
3.6 Serial relations
A binary relation \(\rho \) on U is serial if, for all \(x \in U\), there exists \(y \in U\), such that \(x \, R \, y\). It is known that being serial is equivalent to the fact that \(X_\rho \subseteq X^\rho \) for all \(X \subseteq U\).
Our aim of this section is to find a definition for serial L-relations on U, such that a relation is serial if and only if
In this subsection, we consider three definitions. Let us begin with the following one.
Definition 3.30
An L-relation is serial if \((\forall x\in U)(\exists y \in U) \, R(x,y) = 1\).
Lemma 3.31
If an L-relation is serial in the sense of Definition 3.30, then (3.1) holds.
Proof
Let \(x \in U\). There exists \(z \in U\), such that \(R(x,z) = 1\). Now
On the other hand
We have that \({\textsf{L}}(A)(x) \le A(z) \le {\textsf{U}}(A)(x)\) and the claim is proved. \(\square \)
The converse implication does not hold, as shown in our following example.
Example 3.32
Let us consider the four-element lattice \(L:= 0< a,b < 1\), where a and b are incomparable. If we define \(0'=1\), \(a'=b\), \(b'=a\), and \(1' = 0\), then \({\textbf{L}}\) forms a complete De Morgan Heyting algebra.
Note that L is now a Boolean algebra. This means that for all elements x and y of L, the join \(x' \vee y\) coincides with \(x \Rightarrow y\), where \(\Rightarrow \) is the Heyting implication of L. Hence, for any L-relation R, \({\textsf{L}}(A) = {\bigwedge }_y (R(x,y) \Rightarrow A(y))\). Therefore, we can apply Proposition 3 of Radzikowska and Kerre (2004).
Let \(U = \{x,y\}\) and define \(R(x,x) = R(y,y) = a\) and \(R(x,y) = R(y,x) = b\). Thus, \(R(x,x) \vee R(x,y) = a \vee b = 1\) and \(R(y,y) \vee R(y,x) = 1\). Now, (Radzikowska and Kerre 2004, Proposition 3) implies that \({\textsf{L}}A \le {\textsf{U}}A\) for all \(A \in {\mathcal {F}}_A\). But now, R is not serial in the sense of Definition 3.30.
We have now showed that seriality of Definition 3.30 is not equivalent to condition (3.1). Let us try a different approach, expressed in the following definition.
Definition 3.33
An L-relation is serial if
Obviously, also this definition can be seen as a fuzzy generalization of serial binary relations. Indeed, let \(\rho \) be a serial binary relation on U. If \(x \, \rho \, y\) does not hold some y, then there exists \(z \ne y\), such that \(x \, R \, z\) holds.
Proposition 3.34
An L-fuzzy relation is serial in the sense of Definition 3.33 if and only if
Proof
For all \(x,y \in U\)
If \(z \ne y\), \(R(x,z)' \vee I_y(z) = R(x,y)'\), and if \(z = y\), then \(R(x,z)' \vee I_y(z) = 1\). Thus
On the other hand, by (2.1), \({\textsf{U}}(I_y)(x) = R(x,y)\) for all \(x,y \in U\). Therefore, (3.2) is equivalent to
By applying the operation \('\) to both sides of the inequality, we obtain the condition of Definition 3.33. \(\square \)
Unfortunately, (3.2) is not equivalent to (3.1), as can be seen in the following example.
Example 3.35
Let \(L:= 0< a,b < 1\), where a and b are incomparable. Define \(0' = 1\), \(a' = a\), \(b' = b\), and \(1' = 0\). We set \(U = \{x,y\}\) and define the L-relation R on U by \(R(x,x) = R(x,y) = a\) and \(R(y,x) = R(y,y) = b\).
Let us consider the L-set \({\textbf{0}}\) defined by \(x \mapsto 0\). We have that
and
This means that \({\textsf{L}}({\textbf{0}}) \nleq {\textsf{U}}({\textbf{0}})\). On the other hand
and
We have shown that \({\textsf{L}}(I_x) \le {\textsf{U}}(I_x)\) for all \(x \in U\). This means that (3.2) is not equivalent to (3.1).
In case of binary relations, it is also true that a relation \(\rho \) is serial if and only if \(U^\rho = U\). We end this section by showing that we can have a simple correspondence generalizing this.
Definition 3.36
An L-relation R is serial if \((\forall x \in U) \, \bigvee _y \)\( R(x,y) = 1\).
Now, we can write to following characterization.
Lemma 3.37
An L-relation R is serial if and only if \({\textsf{U}}({\textbf{1}}) = {\textbf{1}}\).
Proof
Because
the claim is obvious. \(\square \)
It is clear that the seriality of Definition 3.30 implies the seriality of Definition 3.36. The converse is not true. For instance, the L-relation R of Example 3.32 is serial in the sense of Definition 3.36, but \(R(x,y) \ne 1\) for all \(x,y \in U\).
We also proved in Lemma 3.31 that the seriality of Definition 3.30 implies (3.1). Our final example of this subsection shows that seriality of Definition 3.36 does not imply (3.1).
Example 3.38
Let L be the 4-element lattice \(0< a,b < 1\), where a and b are incomparable. If we define \(0'=1\), \(a'=a\), \(b'=b\), and \(1' = 0\), then we have a complete De Morgan Heyting algebra. Let \(U = \{x,y\}\) and define \(R(x,x) = R(y,y) = a\) and \(R(x,y) = R(y,x) = b\). It is now clear that R is serial in the sense of Definition 3.36, because \(R(x,x) \vee R(x,y) = a \vee b = 1\) and \(R(y,x) \vee R(y,y) = b \vee a = 1\).
Let \(U = \{a,b\}\) and define an L-set \(A :U \rightarrow L\) by \(A(x) = b\) and \(A(y) = a\). Now
and
Therefore, \({\textsf{L}}(A) \nleq {\textsf{U}}(A)\).
4 From L-approximations to L-relations
In the previous section, we defined the L-approximations \({\textsf{L}}A\) and \({\textsf{U}}A\) for any \(A \in {\mathcal {F}}_L(U)\) in terms of an L-relation R on U. In this section, we consider a converse problem, that is, whether we can define an L-relation of certain type for a dual pair of L-fuzzy operators. As we already noted in Sect. 2.2, for every L-relation R on U, we have
for all \(x, y\in U\) and \(A \in {\mathcal {F}}_L(U)\). This provides a ‘rule’ for defining relations when upper approximations are known. We call any map on \({\mathcal {F}}_L(U)\) as an L-fuzzy operator on U.
Lemma 4.1
Let \({\mathcal {U}}\) be an L-fuzzy operator. For any \(a \in L\), \(A \in {\mathcal {F}}_L(U)\) and \(\{A_i\}_{i\in I} \subseteq {\mathcal {F}}_L(U)\), the following are equivalent:
-
(1)
\({\mathcal {U}}(A) = \bigvee _x \big (\overline{A(x)} \wedge {\mathcal {U}}(I_x) \big )\);
-
(2)
\({\mathcal {U}}({\overline{a}} \wedge \bigvee _i A_i) = {\overline{a}} \wedge \bigvee _i {\mathcal {U}}(A_i)\).
Proof
(1)\(\Rightarrow \)(2): Suppose that (1) holds. Then
and
Combining these two, we obtain that
(2)\(\Rightarrow \)(1): Suppose that (2) holds. Since \(A = \bigvee _x (\overline{A(x)} \wedge I_x)\), we have that
\(\square \)
Theorem 4.2
Let \({\mathcal {U}}\) be an L-fuzzy operator on U and let each \({\mathcal {S}}_j\), \(1 \le j \le n\), be an L-fuzzy operator on U, such that \({\mathcal {U}}\le S_j\). Then, there exists a unique L-fuzzy relation R on U, such that \({\textsf{U}}(A) = {\mathcal {U}}(A)\) for all \(A \in {\mathcal {F}}_L(U)\) if and only if
for \(a \in L\) and \(\{A_i\}_{i \in I} \subseteq {\mathcal {F}}_L(U)\).
Proof
\((\Rightarrow )\) Since \({\mathcal {U}}\le {\mathcal {S}}_j\), for all \(j \le n\), we have \({\mathcal {U}}\le {\mathcal {S}}_1 \wedge \cdots \wedge {\mathcal {S}}_n\), and hence
Suppose that there is an L-relation R, such that \({\mathcal {U}}(A) = {\textsf{U}}(A)\) for all \(A \in {\mathcal {F}}_L(U)\). Then
\((\Leftarrow )\) Suppose that (4.1) holds for \(a \in L\) and \(\{A_i\}_{i \in I} \subseteq {\mathcal {F}}_L(U)\). This gives
and \({\mathcal {U}}({\overline{a}} \wedge A) = {\overline{a}} \wedge {\mathcal {U}}(A)\) for all \(a \in L\) and \(A \in {\mathcal {F}}_L(U)\), which are essential properties of upper approximation operators.
Let us define an L-relation R on U by setting for all \(x,y \in U\)
Then, \({\textsf{U}}(I_y)(x) = R(x,y) = {\mathcal {U}}(I_y)(x)\) for all \(x,y \in U\), and hence \({\textsf{U}}(I_x) = {\mathcal {U}}(I_x)\) for all \(x\in U\). For \(A \in {\mathcal {F}}_L(U)\)
It is also clear that the induced relation R is unique, since if there is an L-relation Q, such that \({\textsf{U}}_Q (A) = {\mathcal {U}}(A)\) for all \(A \in {\mathcal {F}}_L(U)\), we have \(R(x,y) = {\mathcal {U}}(I_y)(x) = {\textsf{U}}_Q (I_y)(x) = Q(x,y)\) for all \(x,y\in U\), and thus, \(R=Q\). \(\square \)
Let \({\mathcal {U}}\) and \({\mathcal {L}}\) be L-fuzzy operators. We say that \({\mathcal {U}}\) and \({\mathcal {L}}\) are dual if \({\mathcal {U}}(A') = ({\mathcal {L}}(A))'\) for all \(A \in {\mathcal {F}}_L(U)\). Note that this is equivalent to \({\mathcal {L}}(A') = ({\mathcal {U}}(A))'\) for all \(A \in {\mathcal {F}}_L(U)\). Notice also that we used the notion of dual operations already in Sect. 2, even it was not defined there. The dual operators define each other uniquely, that is
for all \(A \in {\mathcal {F}}_L(U)\).
Remark 4.3
Suppose that the L-fuzzy operators \({\mathcal {U}}\) and \({\mathcal {L}}\) on U are dual. Theorem 4.2 can be equivalently expressed in terms of \({\mathcal {L}}\). Indeed, let for any \(1 \le j \le n\), each \({\mathcal {S}}_j\) be an L-fuzzy operator on U, such that \(S_j(A) \le {\mathcal {L}}(A)\) for any \(A \in {\mathcal {F}}_L(A)\). Then, there exists a unique L-fuzzy relation R on U, such that \({\textsf{L}}A = {\mathcal {L}}(A)\) and \({\textsf{U}}A = {\mathcal {U}}(A)\) for all \(A \in {\mathcal {F}}_L(U)\) if and only if
for all \(a\in L\) and \(A \in {\mathcal {F}}_L(U)\).
As a corollary of 4.2, we can get easily the following results, which were presented in Pang et al. (2019) (see Theorems 4.2–4.6). Note that case (5) is a new result.
Corollary 4.4
Let \({\mathcal {U}}\) and \({\mathcal {L}}\) be dual L-fuzzy operators on U.
-
(1)
There exists a unique L-relation R on U, such that \({\mathcal {U}}\) and \({\mathcal {L}}\) coincide with the upper and lower approximation operators of R, respectively, if and only if
$$\begin{aligned} {\mathcal {U}}({\overline{a}} \wedge {\bigvee }_i A_i) = {\overline{a}} \wedge {\bigvee }_i {\mathcal {U}}(A_i) \end{aligned}$$for all \(a \in L\) and \(\{A_i\}_{i \in I} \subseteq {\mathcal {F}}_L(U)\).
-
(2)
There exists a unique mediate L-relation R on U, such that \({\mathcal {U}}\) and \({\mathcal {L}}\) coincide with the upper and lower approximation operators of R, respectively, if and only if
$$\begin{aligned} {\mathcal {U}}({\overline{a}} \wedge {\bigvee }_i A_i) = {\overline{a}} \wedge {\bigvee }_i ({\mathcal {U}}(A_i) \wedge {\mathcal {U}}({\mathcal {U}}(A_i)) ) \end{aligned}$$for all \(a \in L\) and \(\{A_i\}_{i \in I} \subseteq {\mathcal {F}}_L(U)\).
-
(3)
There exists a unique Euclidean L-relation R on U, such that \({\mathcal {U}}\) and \({\mathcal {L}}\) coincide with the upper and lower approximation operators of R, respectively, if and only if
$$\begin{aligned} {\mathcal {U}}({\overline{a}} \wedge {\bigvee }_i A_i) = {\overline{a}} \wedge {\bigvee }_i ({\mathcal {U}}(A_i) \wedge {\mathcal {L}}({\mathcal {U}}(A_i)) ) \end{aligned}$$for all \(a \in L\) and \(\{A_i\}_{i \in I} \subseteq {\mathcal {F}}_L(U)\).
-
(4)
There exists a unique adjoint L-relation R on U, such that \({\mathcal {U}}\) and \({\mathcal {L}}\) coincide with the upper and lower approximation operators of R, respectively, if and only if
$$\begin{aligned} {\mathcal {U}}({\overline{a}} \wedge {\bigvee }_i A_i) = {\overline{a}} \wedge {\bigvee }_i ({\mathcal {U}}(A_i) \wedge {\mathcal {U}}({\mathcal {L}}(A_i)) ) \end{aligned}$$for all \(a \in L\) and \(\{A_i\}_{i \in I} \subseteq {\mathcal {F}}_L(U)\).
-
(5)
There exists a unique functional L-relation R on U, such that \({\mathcal {U}}\) and \({\mathcal {L}}\) coincide with the upper and lower approximation operators of R, respectively, if and only if
$$\begin{aligned} {\mathcal {U}}({\overline{a}} \wedge {\bigvee }_i A_i) = {\overline{a}} \wedge {\bigvee }_i ({\mathcal {U}}(A_i) \wedge {\mathcal {L}}(A_i) ) \end{aligned}$$for all \(a \in L\) and \(\{A_i\}_{i \in I} \subseteq {\mathcal {F}}_L(U)\).
Proof
-
(1)
This follows directly from Theorem 4.2 by selecting \(n = 1\) and \({\mathcal {S}}_1 = {\textsf{U}}\).
-
(2)
By Proposition 3.15, R is mediate if and only if \({\textsf{U}}A \le {\textsf{U}}{\textsf{U}}A\) for any \(A \in {\mathcal {F}}_L(U)\) from which the result follows by Theorem 4.2 by setting \(n = 1\) and \({\mathcal {S}}_1 = {\textsf{U}}{\textsf{U}}\).
-
(3)
The relation R is Euclidean if and only if for all \(A \in {\mathcal {F}}_L(U)\), \({\textsf{U}}A \le {\textsf{L}}{\textsf{U}}A\) by Proposition 3.18. If we set \(n = 1\) and \({\mathcal {S}}_1 = {\textsf{L}}{\textsf{U}}\), the claim follows from Theorem 4.2.
-
(4)
By Proposition 3.21, R is adjoint if and only if for all \(A \in {\mathcal {F}}_L(U)\), \({\textsf{U}}A \le {\textsf{U}}{\textsf{L}}A\) and the claim follows from this by Theorem 4.2.
-
(5)
The relation R is functional if and only if \({\textsf{U}}A \le {\textsf{L}}A\) for any L-set A on U by Proposition 3.24. The result is now clear by this.
\(\square \)
Using Theorem 4.2, we can also give conditions for compositions of properties (cf. Theorems 4.8, 4.9, 4.10, and 4.12 in Pang et al. 2019). The proof of the following proposition is clear.
Corollary 4.5
Let \({\mathcal {U}}\) and \({\mathcal {L}}\) be dual L-fuzzy operator on U. There exists a unique mediate, Euclidean, and adjoint L-relation R on U, such that \({\mathcal {U}}\) and \({\mathcal {L}}\) coincide with the upper and lower approximation operators of R, respectively, if and only if
for all \(a \in L\) and \(\{A_i\}_{i \in I} \subseteq {\mathcal {F}}_L(U)\).
In Pang et al. (2019), the authors presented the following problem: “Using single axioms to characterize L-fuzzy rough approximation operators corresponding to compositions of serial, reflexive, symmetric, transitive, mediate, Euclidean and adjoint L-fuzzy relations.” Next, we solve this problem, so that only the parts concerning serial and symmetric relations remain open.
Our following theorem is closely related to Theorem 4.2.
Theorem 4.6
Let \({\mathcal {U}}\) be an L-fuzzy operator on U and let each \({\mathcal {T}}_k\), \(1 \le k \le m\), be an L-fuzzy operator on U, such that \({\mathcal {U}}\ge {\mathcal {T}}_k\). Then, there exists a unique L-fuzzy relation R on U, such that \({\textsf{U}}A = {\mathcal {U}}(A)\) for all \(A \in {\mathcal {F}}_L(U)\) if and only if
for \(a \in L\) and \(\{A_i\}_{i \in I} \subseteq {\mathcal {F}}_L(U)\).
Proof
\((\Rightarrow )\) Since \({\mathcal {U}}\ge {\mathcal {T}}_k\), for all \(k \le m\), we have \({\mathcal {U}}\le {\mathcal {T}}_1 \vee \cdots \vee {\mathcal {T}}_m\), and hence
If there is an L-relation R, such that \({\textsf{U}}A = {\mathcal {U}}A\) for all \(A \in {\mathcal {F}}_L(U)\), then
The direction \((\Leftarrow )\) is proved as in Theorem 4.2. \(\square \)
Now, we can write the following corollary of Theorem 4.6.
Corollary 4.7
Let \({\mathcal {U}}\) and \({\mathcal {L}}\) be dual L-fuzzy operators on U.
-
(1)
There exists a unique reflexive L-relation R on U, such that \({\mathcal {U}}\) and \({\mathcal {L}}\) coincide with the upper and lower approximation operators of R, respectively, if and only if
$$\begin{aligned} {\mathcal {U}}({\overline{a}} \wedge {\bigvee }_i A_i) = {\overline{a}} \wedge {\bigvee }_i \left( {\mathcal {U}}(A_i) \vee A_i) \right) \end{aligned}$$for all \(a \in L\) and \(\{A_i\}_{i \in I} \subseteq {\mathcal {F}}_L(U)\).
-
(2)
There exists a unique transitive L-relation R on U, such that \({\textsf{U}}\) and \({\textsf{L}}\) coincide with the upper and lower approximation operators of R, respectively, if and only if
$$\begin{aligned} {\mathcal {U}}({\overline{a}} \wedge {\bigvee }_i A_i) = {\overline{a}} \wedge {\bigvee }_i ({\mathcal {U}}(A_i) \vee {\mathcal {U}}({\mathcal {U}}(A_i)) ) \end{aligned}$$for all \(a \in L\) and \(\{A_i\}_{i \in I} \subseteq {\mathcal {F}}_L(U)\).
Proof
-
(1)
By Proposition 3.5, R is reflexive if and only if \(A \le {\textsf{U}}A\) for any \(A \in {\mathcal {F}}_L(U)\) from which the result follows by Theorem 4.6 by setting \(n = 1\) and \({\mathcal {T}}_1(A) = A\).
-
(2)
By Proposition 3.12, R is transitive if and only if \({\textsf{U}}{\textsf{U}}A \le {\textsf{U}}A\) for any \(A \in {\mathcal {F}}_L(U)\) from which the result follows by Theorem 4.6 by setting \(n = 1\) and \({\mathcal {T}}_1 = {\textsf{U}}{\textsf{U}}\).
\(\square \)
Let \({\mathcal {U}}\) be an L-fuzzy operator on U. Assume that each \({\mathcal {S}}_j\), \(1 \le j \le n\), is an L-fuzzy operator on U, such that \({\mathcal {U}}\le {\mathcal {S}}_j\) and suppose each \({\mathcal {T}}_k\), \(1 \le k \le m\) is an L-fuzzy operator on U, such that \({\mathcal {U}}\ge {\mathcal {T}}_k\). Now, we have that
We can now write the following theorem. Its proof is clear, because \((\Rightarrow )\) part follows from (4.3), and \((\Leftarrow )\) can be proved as in Theorem 4.2.
Theorem 4.8
Let \({\mathcal {U}}\) be an L-fuzzy operator on U and let each \({\mathcal {S}}_j\), \(1 \le j \le n\) and \({\mathcal {T}}_k\), \(1 \le k \le m\), be L-fuzzy operators on U, such that \({\mathcal {U}}\le {\mathcal {S}}_j\) and \({\mathcal {U}}\ge {\mathcal {T}}_k\). Then, there exists a unique L-fuzzy relation R on U, such that \({\textsf{U}}A = {\mathcal {U}}(A)\) for all \(A \in {\mathcal {F}}_L(U)\) if and only if
for \(a \in L\) and \(\{A_i\}_{i \in I} \subseteq {\mathcal {F}}_L(U)\). \(\square \)
We end this work by the following example of a single condition for a combination of certain relation types.
Corollary 4.9
Let \({\mathcal {U}}\) and \({\mathcal {L}}\) be dual L-fuzzy operators on U. There exists a reflexive, transitive, mediate, Euclidean, and adjoint L-relation R on U, such that \({\mathcal {U}}\) and \({\mathcal {L}}\) coincide with the upper and lower approximation operators of R, respectively, if and only if
for all \(a \in L\) and \(\{A_i\}_{i \in I} \subseteq {\mathcal {F}}_L(U)\).
5 Some concluding remarks
In this work, we were able to solve the open problem presented in Pang et al. (2019), so that only the parts concerning serial and symmetric relations remain open.
One obvious reason for this is that we do not have a condition for symmetry or seriality which is of the suitable form, so that the theorems given in Sect. 4 could be applied. Interestingly, seriality and symmetry are also such that there are some issues how to generalize them as fuzzy relations, at least in case of De Morgan Heyting algebras.
Data availability
This article is purely theoretical in nature, no data was utilized or referenced during its preparation.
References
Castaño V, Santis MM (2011) Subalgebras of Heyting and De Morgan Heyting algebras. Stud Logica 98:123–139
D’eer L, Verbiest N, Cornelis C, Godo L (2015) A comprehensive study of implicator-conjunctor-based and noise-tolerant fuzzy rough sets: definitions, properties and robustness analysis. Fuzzy Sets Syst 275:1–38
Dubois D, Prade H (1990) Rough fuzzy sets and fuzzy rough sets. Int J Gen Syst 17:191–209
Goguen JA (1967) \(L\)-fuzzy sets. J Math Anal Appl 18:145–174
Järvinen J (2005) Properties of rough approximations. J Adv Comput Intell Intell Inf 9:502–505
Jin Q, Ling-Qiang L (2023) Several \(L\)-fuzzy variable precision rough sets and their axiomatic characterizations. Soft Comput 27:16429–16448
Liu G (2008) Axiomatic systems for rough sets and fuzzy rough sets. Int J Approx Reason 48(3):857–867
Liu G (2013) Using one axiom to characterize rough set and fuzzy rough set approximations. Inf Sci 223:285–296
Ma Z, Li J, Mi J (2015) Some minimal axiom sets of rough sets. Inf Sci 312:40–54
Orłowska E (1998) Introduction: what you always wanted to know about rough sets. In: Orłowska E (ed) Incomplete information: rough set analysis. Physica-Verlag, Heidelberg, pp 1–20
Pang B, Mi J-S, Yao W (2019) \(L\)-fuzzy rough approximation operators via three new types of \(L\)-fuzzy relations. Soft Comput 23:11433–11446
Pavelka J (1979) On fuzzy logic II. Enriched residuated lattices and semantics of propositional calculi. Math Log Q 25:119–134
Pawlak Z (1982) Rough sets. Int J Comput Inf Sci 11:341–356
Radzikowska AM, Kerre EE (2004) Fuzzy rough sets based on residuated lattices. Trans Rough Sets II II:278–296
Sun S, Li L, Hu K, Ramadan AA (2020) \(L\)-fuzzy upper approximation operators associated with \(l\)-generalized fuzzy remote neighborhood systems of \(l\)-fuzzy points. AIMS Math 5:5639–5653
Sun Y, Shi F-G (2023) Representations of \(L\)-fuzzy rough approximation operators. Inf Sci 645:119234
Wei X, Pang B, Mi J-S (2021) Axiomatic characterizations of \(L\)-valued rough sets using a single axiom. Inf Sci 580:283–310
Wu W-Z, Zhang W-X (2004) Constructive and axiomatic approaches of fuzzy approximation operators. Inf Sci 159:233–254
Xu Y-L, Zou D-D, Li L-Q, Yao B-X (2023) \(L\)-fuzzy covering rough sets based on complete co-residuated lattice. Int J Mach Learn Cybern 14:2815–2829
Yao YY, Lin TY (1996) Generalization of rough sets using modal logics. Intell Autom Soft Comput 2:103–119
Zadeh LA (1965) Fuzzy sets. Inf Control 8:338–353
Zhao FF, Shi F-G (2021) \(L\)-fuzzy generalized neighborhood system operator-based \(L\)-fuzzy approximation operators. Int J Gen Syst 50:458–484
Zhu W (2007) Generalized rough sets based on relations. Inf Sci 177(22):4997–5011
Acknowledgements
The authors would like to thank the anonymous referees for their valuable remarks on our manuscript.
Funding
Open Access funding provided by LUT University (previously Lappeenranta University of Technology (LUT)). The paper was partially supported by the Research Institute for Science and Technology of Tokyo Denki University Grant Number Q22J-01.
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflicts of interest
Jouni Järvinen declares that he has no conflict of interest. Michiro Kondo declares that he has no conflict of interest.
Ethical approval
This article does not contain any studies with human participants or animals performed by any of the authors.
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Järvinen, J., Kondo, M. Relational correspondences for L-fuzzy rough approximations defined on De Morgan Heyting algebras. Soft Comput 28, 903–916 (2024). https://doi.org/10.1007/s00500-023-09444-7
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00500-023-09444-7