1.
Introduction
The problems of imprecision, ambiguity and incompleteness of information systems applied for data analysis has occupied the human mind for a long time. These problems exist in different fields such as economics, engineering, medical science and the social and environmental sciences. For years, mathematicians, engineers and scientists, particularly those who focus on artificial intelligence, have been seeking powerful tools to solve these problems. They suggested many techniques to achieve this aim such as the rough set theory [29,30]. It relies mainly on two approximations namely, lower and upper approximations that are used to study the boundary region and accuracy measure. If the lower and upper approximations of the set are equal to each other, then it is called a crisp set; otherwise, it is known as a rough set. Therefore, the boundary region is defined as the difference between the upper and lower approximations. This boundary is usually associated with vagueness (i.e., the existence of objects that cannot be uniquely classified to the set or its complement). Hence, the accuracy of the set or ambiguity is dependent on whether the boundary region is empty or not respectively. A non-empty boundary region of a set means that our knowledge about the set is not sufficient to define the set precisely. So, one of the essential aims of this theory is to reduce the boundary region and increase the accuracy of the set. The classical rough approximations are based on an equivalence relation in a finite universe, but this relation is sometimes difficult to be obtained for real-world problems. Extensions of this theory were therefore studied by many approaches in order to deal with complex practical problems. One approach substituted the equivalence relations with tolerance or similarity relations [12,13,21,25,28,32,33,34,35] or binary relations [3,4,8,23,31,39,40,41,42,43].
Neighborhood systems are used to generalize the rough set theory by replacing an equivalence class with a neighborhood when defining approximations. Several types of neighborhoods were utilized to define the lower and upper approximations such as right and left neighborhoods [14,37,38], minimal right neighborhoods [2,5] and minimal left neighborhoods [6]. Meanwhile, Abo-Tabl [1] defined the approximations by using minimal right neighborhoods, which were determined by reflexive relations that form the base of topological space. More recently, Dai et al. [11] presented three new types of approximations based on maximal right neighborhoods that were determined by similarity relations. The thing that distinguished Dai et al.'s approximations [11] from Abo-Tabl's approximations [1] was that the corresponding upper and lower approximations, boundary regions, accuracy measures and roughness measures for two types of Dai et al.'s approximations [11] had monotonicity. Therefore, Dai et al.'s approximations [11] were considered as an improvement of Abo-Tabl's approximations [1].
An ideal is a non-empty collection of sets that is closed under hereditary property and finite additivity [26,36]. The interest in the idealized version of many rough set models has grown drastically in the past 10 years. The advantage and benefit of using an ideal in this theory is that it reduces the vagueness (uncertainty) of a concept to uncertainty areas at their borders by increasing the lower approximations and decreasing the upper approximations. Consequently, it minimizes the boundary region and improves the accuracy measure. So, the use of an ideal is a powerful method to demystify the concept and define it precisely. Accordingly, the study of this theory with ideals is an enjoyable topic that has received the attention of many researchers (see [9,16,17,18,19,22,24,27]). Therefore, ideals have been extensively applied to this theory.
We are aware of the fact that ideals play an important role in the study of rough sets, particularly for removing the vagueness. So, one of the primary motivations of this work is to introduce new methods for rough sets by using ideals. Moreover, the present work is focused on expressing the main concepts of rough sets by using maximal right neighborhoods deduced by binary relations not similarity relations as in the previous studies [11]. Binary relations extend the application field of rough sets, but the similarity relations do not always hold in many real-life applications. Therefore, this restriction prevents the wide application of this set as it is shown at the end of this paper. Consequently, the present approach is an extension of Dai et al.'s approaches [11]. This paper comprises eight sections and its sequence is as follows. After the Introduction. Section 2 outlines the necessary concepts and preliminaries required for the sequel to this work. The purpose of Sections 3–6 is to construct four methods to approximate the set by using the notion of ideals and maximal right neighborhoods induced by binary relations. The properties of the current approximations are interjected and analyzed. It is proved that the boundary of a subset decreases and the accuracy increases as the ideal increases (see Theorems 3.1, 4.1, 5.1 and 6.1). Afterwards, it is elucidated that the corresponding upper and lower approximations, boundary regions, accuracy measures and roughness measures of three types of these approximations are monotonic (see Theorems 3.2, 4.2 and 6.2). Furthermore, the relationships among these approximations are interpreted and illustrated. Additionally, Theorems 3.3, 4.4, 5.3 and 6.4 explain that the present methods reduce the boundary region by increasing the lower approximations and decreasing the upper approximations. These methods reduce them more effectively than Dai et al.'s methods [11]. They also show that the current accuracy is greater than the previous one in [11]. Hence, this work is a generalization and an improvement of Dai et al.'s work [11]. It is worthwhile to note that, with the current approximations if the ideal equals the empty set and the binary relation is a similarity relation, then these approximations coincide with Dai et al.'s approximations [11]. So, Dai et al.'s approximations [11] are a special case of the current approximations. In the end, medical applications are presented to illustrate the importance of using ideals in the present approaches. It plays an intrinsic and a substantial role in the decision making problems of two real life applications. It is pointed out that the current techniques allow the medical staff to classify patients successfully in terms of infection of the new coronavirus COVID-19 (first application) and heart attacks (second application). In the first application, a similarity relation is used while in the second application a binary relation is applied. Therefore, Dai et al.'s methods [11] cannot be applied for the second application. This is because they are based on the similarity relations and this restricts the applications of the rough set theory. It emphasizes that the present methods open the way for more applications. Eventually, the conclusion of this paper and remarks for future research work are discussed in Section 8.
2.
Preliminaries
Definition 2.1. [20] A non-empty collection I of subsets of a set U is called an ideal on U if it satisfies the following conditions:
(1) A∈I and B∈I⇒A∪B∈I,
(2) A∈I and B⊆A⇒B∈I.
i.e., I is closed under finite unions and subsets.
Definition 2.2. [22] Let I1,I2 be two ideals on a non-empty set U. The smallest collection generated by I1,I2 is denoted by I1∨I2 and defined as
Proposition 2.1. [22]If I1,I2 are two ideals on a non-empty set U and A,B are two subsets of U, then the collection I1∨I2 is satisfied by the following conditions:
(1) I1∨I2≠ϕ,
(2) A∈I1∨I2,B⊆A⇒B∈I1∨I2,
(3) A,B∈I1∨I2⇒A∪B∈I1∨I2.
It means that the collection I1∨I2 is an ideal on U.
Definition 2.3. [29] Let R be an equivalence relation on a universe U and [x]R be the equivalence class containing x. For any subset A of U, the lower approximation apr_(A) and upper approximation ¯apr(A) are defined by
These approximations satisfy the following properties:
(L1) apr_(Ac)=[¯apr(A)]c, where Ac is the complement of A.
(L2) apr_(U)=U.
(L3) apr_(ϕ)=ϕ.
(L4) apr_(A)⊆A.
(L5) apr_(A∩B)=apr_(A)∩apr_(B)
(L6) apr_(A∪B)⊇apr_(A)∪apr_(B)
(L7) A⊆B⇒apr_(A)⊆apr_(B).
(L8) apr_(apr_(A))=apr_(A).
(L9) ¯apr(A)⊆apr_(¯apr(A)).
(U1) ¯apr(Ac)=[apr_(A)]c.
(U2) ¯apr(U)=U.
(U3) ¯apr(ϕ)=ϕ.
(U4) A⊆¯apr(A).
(U5) ¯apr(A∪B)=¯apr(A)∪¯apr(B).
(U6) ¯apr(A∩B)⊆¯apr(A)∩¯apr(B).
(U7) A⊆B⇒¯apr(A)⊆¯apr(B).
(U8) ¯apr(¯apr(A))=¯apr(A).
(U9) ¯apr(apr_(A))⊆apr_(A).
Definition 2.4. [11] Let R be an arbitrary binary relation on a non-empty finite set U and x∈U, then <x>˘R=∪{pR:x∈pR}. <x>˘R is the union of all right neighborhoods containing x.
Theorem 2.1. [7] Let U be a universal set and R1,R2 be two binary relations on U. If R1⊆R2, then <x>˘R1⊆<x>˘R2,∀x∈U.
Definition 2.5. [11] Let R be a similarity relation on a non-empty set U. For any subset A⊆U, the first kind of lower and upper approximations, boundary regions, accuracy and roughness of A according to R are respectively defined by
Definition 2.6. [11] Let R be a similarity relation on a non-empty set U. For any subset A⊆U, the second kind of lower and upper approximations, boundary regions, accuracy and roughness of A according to R are respectively defined by
Definition 2.7. [11] Let R be a similarity relation on a non-empty set U. For any subset A⊆U, the third kind of upper and lower approximations, boundary regions, accuracy and roughness of A according to R are respectively defined by
3.
First method to obtain generalized rough sets using ideals
In this section, the first type of generalized rough approximations is presented. The principle properties of these approximations are studied and compared to the previous ones in [11] and shown to be more general.
Definition 3.1. Let R be a binary relation on a non-empty set U and I be an ideal on U. For any subset A⊆U, the first kind of generalized lower and upper approximations, boundary regions, accuracy and roughness of A using ideal and according to R are respectively defined by
Proposition 3.1. Let A,B⊆U,I,J be two ideals on U and R be a binary relation on U. Then, the following properties hold:
(1) ¯aprIR(ϕ)=ϕ.
(2) A⊆B⇒¯aprIR(A)⊆¯aprIR(B).
(3) ¯aprIR(A∩B)⊆¯aprIR(A)∩¯aprIR(B).
(4) ¯aprIR(A∪B)=¯aprIR(A)∪¯aprIR(B).
(5) ¯aprIR(A)=(apr_IR(Ac))c.
(6) If A∈I, then ¯aprIR(A)=ϕ.
(7) If I⊆J, then ¯aprJR(A)⊆¯aprIR(A).
(8) If I=P(U), then ¯aprIR(A)=ϕ.
(9) ¯aprI∩JR(A)=¯aprIR(A)∪¯aprJR(A).
(10) ¯aprI∨JR(A)=¯aprIR(A)∩¯aprJR(A).
Proof.
(1) ¯aprIR(ϕ)={x∈U:<x>˘R∩ϕ∉I}=ϕ.
(2) Let x∈¯aprIR(A). Then, <x>˘R∩A∉I. Since A⊆B and I is an ideal. It follows that <x>˘R∩B∉I. Therefore, x∈¯aprIR(B). Hence, ¯aprIR(A)⊆¯aprIR(B).
(3) The proof is immediately by (2).
(4) ¯aprIR(A)∪¯aprIR(B)⊆¯aprIR(A∪B) according to (2). Let x∈¯aprIR(A∪B). Then, <x>˘R∩(A∪B)∉I. It follows that ((<x>˘R∩A)∪(<x>˘R∩B))∉I. Therefore, <x>˘R∩A∉I or <x>˘R∩B∉I, which gives x∈¯aprIR(A) or x∈¯aprIR(B). Then, x∈¯aprIR(A)∪¯aprIR(B). Thus, ¯aprIR(A∪B)⊆¯aprIR(A)∪¯aprIR(B). Hence, ¯aprIR(A∪B)=¯aprIR(A)∪¯aprIR(B).
(5) (apr_IR(Ac))c=({x∈U:<x>˘R∩A∈I})c={x∈U:<x>˘R∩A∉I}=¯aprIR(A).
(6) The proof is straightforward by Definition 3.1.
(7) Let x∈¯aprJR(A). Then, <x>˘R∩A∉J. Since I⊆J. So, <x>˘R∩A∉I. Therefore, x∈¯aprIR(A). Hence, ¯aprJR(A)⊆¯aprIR(A).
(8) The proof is straightforward by Definition 3.1.
(9)
(10)
Proposition 3.2. Let A,B⊆U,I,J be two ideals on U and R be a binary relation on U. Then, the following properties hold:
(1) apr_IR(U)=U.
(2) A⊆B⇒apr_IR(A)⊆apr_IR(B).
(3) apr_IR(A)∪apr_IR(B)⊆apr_IR(A∪B).
(4) apr_IR(A∩B)=apr_IR(A)∩apr_IR(B).
(5) apr_IR(A)=(¯aprIR(Ac))c.
(6) If Ac∈I, then apr_IR(A)=U.
(7) If I⊆J, then apr_IR(A)⊆apr_JR(A).
(8) If I=P(U), then apr_IR(A)=U.
(9) apr_I∩JR(A)=apr_IR(A)∩apr_JR(A).
Proof.
(1) apr_IR(U)={x∈U:<x>˘R∩ϕ∈I}=U.
(2) Let x∈apr_IR(A). Then, <x>˘R∩Ac∈I. Since Bc⊆Ac and I is an ideal. So, <x>˘R∩Bc∈I. Therefore, x∈apr_IR(B). Hence, apr_IR(A)⊆apr_IR(B).
(3) The proof is immediately by (2).
(4) apr_IR(A)∩apr_IR(B)⊇apr_IR(A∩B) according to (2). Let x∈apr_IR(A)∩apr_IR(B). Then, <x>˘R∩Ac∈I and <x>˘R∩Bc∈I. It follows that (<x>˘R∩(Ac∪Bc))∈I. So, (<x>˘R∩(A∩B)c)∈I. Therefore, x∈apr_IR(A∩B). Thus, apr_IR(A)∩apr_IR(B)⊆apr_IR(A∩B). Hence, apr_IR(A)∩apr_IR(B)=apr_IR(A∩B).
(5) (¯aprIR(Ac))c=({x∈U:<x>˘R∩Ac∉I})c={x∈U:<x>˘R∩Ac∈I}=apr_IR(A).
(6) The proof is straightforward by Definition 3.1.
(7) Let x∈apr_IR(A). Then, <x>˘R∩Ac∈I. Since I⊆J. It follows that <x>˘R∩Ac∈J. Therefore, x∈apr_IR(A). Hence, apr_IR(A)⊆apr_JR(A).
(8) The proof is straightforward by Definition 3.1.
(9)
Remark 3.1. The following examples show that
(1) The converse of (2), (6), (7) and (8) in Propositions 3.1 and 3.2 is not necessarily true in general.
(2) The inclusion of (3) in Propositions 3.1 and 3.2 cannot be replaced by an equality relation in general.
Example 3.1. (i) Let
and
be a binary relation defined on U thus <a>˘R={a,d},<b>˘R={b,c},<c>˘R={b,c,d} and <d>˘R={a,c,d}. For (2), take
(a) A={a} and B={d}; then, ¯aprIR(A)=ϕ and ¯aprIR(B)={a,c,d}. Therefore, ¯aprIR(A)⊆¯aprIR(B), but A⊈B.
(b) A={b} and B={a,c,d}; then, apr_IR(A)={b} and apr_IR(B)=U. Therefore, apr_IR(A)⊆apr_IR(B), but A⊈B.
(ii) Let U={a,b,c,d},J={ϕ,{a}},I={ϕ,{d}} and R={(a,a),(b,b),(c,c)} be a binary relation defined on U; thus, <a>˘R={a},<b>˘R={b},<c>˘R={c} and <d>˘R=ϕ.
(1) For (6), take
(a) A={a,d}; then, ¯aprJR(A)=ϕ. Therefore, ¯aprJR(A)=ϕ, but A∉J.
(b) A={b,c}; then, apr_JR(A)=U. Therefore, apr_JR(A)=U, but Ac∉J.
(2) For (7), take
(a) A={a,d}; then, ¯aprIR(A)={a} and ¯aprJR(A)=ϕ. Therefore, ¯aprJR(A)⊆¯aprIR(A), but I⊈J.
(b) A={b,c}; then, apr_IR(A)={b,c,d} and apr_JR(A)=U. Therefore, apr_IR(A)⊆apr_JR(A), but I⊈J.
(3) For (8), take
(a) A={a,d}; then, ¯aprJR(A)=ϕ, but J≠P(U).
(b) A={b,c}; then, apr_JR(A)=U, but J≠P(U).
(iii) Let U={a,b,c,d},I={ϕ,{d}} and R=Δ∪{(b,a),(c,a),(d,a)} be a binary relation defined on U, (where Δ is the identity relation and equal to {(a,a),(b,b),(c,c),(d,d)}); thus, <a>˘R=U, <b>˘R={a,b},<c>˘R={a,c} and <d>˘R={a,d}. For (3), take
(a) A={a,d},B={b,c} and A∩B=ϕ; then, ¯aprIR(A)=U,¯aprIR(B)={a,b,c} and ¯aprIR(A∩B)=ϕ. Therefore, ¯aprIR(A)∩¯aprIR(B)={a,b,c}≠ϕ=¯aprIR(A∩B).
(b) A={a,d},B={b,c} and A∪B=U; then, apr_IR(A)={d},apr_IR(B)=ϕ and ¯aprIR(A∪B)=U. Therefore, apr_IR(A)∪apr_IR(B)={d}≠U=apr_IR(A∪B).
Remark 3.2. There are some properties that are not held or satisfied for the first type.
(i) Considering Example 3.1 (i), take
(1) A={a}; then, ¯aprIR(A)=ϕ. Hence, A⊈¯aprIR(A).
(2) A={b,c,d}; then, apr_IR(A)=U. Hence, apr_IR(A)⊈A.
(3) A=U; then, ¯aprIR(U)={a,c,d}. Hence, ¯aprIR(U)≠U.
(4) A=ϕ; then, apr_IR(ϕ)={b}. Hence, apr_IR(ϕ)≠ϕ.
(ii) Considering Example 3.1 (iii), take
(1) A={b,c}; then, ¯aprIR(A)={a,b,c} and ¯aprIR(¯aprIR(A))=U. Hence, ¯aprIR(A)≠¯aprIR(¯aprIR(A)).
(2) A={a,d}; then, apr_IR(A)={d} and apr_IR(apr_IR(A))=ϕ. Hence, apr_IR(A)≠apr_IR(apr_IR(A)).
(iii)
Example 3.2. Let U={a,b,c,d},I={ϕ,{a}} and R=Δ∪{(a,b),(b,a),(c,a),(c,b),(d,a),(d,b)} be a binary relation defined on U thus <a>˘R=<b>˘R=U,<c>˘R={a,b,c} and <d>˘R={a,b,d}. It is clear that, if
(1) A={c}; then, ¯aprIR(A)={a,b,c} and apr_IR(¯aprIR(A))={c}. Hence, ¯aprIR(A)⊈apr_IR(¯aprIR(A)).
(2) A={a,b,d}; then, apr_IR(A)={d} and ¯aprIR(apr_IR(A))={a,b,d}. Hence,
Theorem 3.1. Let A⊆U,I,J be two ideals on U and R be a binary relation on U. If I⊆J, then
(1) BoundaryJR(A)⊆BoundaryIR(A).
(2) AccuracyIR(A)≤AccuracyJR(A).
Proof.
(1) Let x∈BoundaryJR(A). Then, x∈¯aprJR(A)−apr_JR(A). So, x∈¯aprJR(A) and x∈(apr_JR(A))c. Hence, x∈¯aprIR(A) and x∈(apr_IR(A))c according to (7) of Propositions 3.1 and 3.2. It follows that x∈BoundaryIR(A). Therefore, BoundaryJR(A)⊆BoundaryIR(A).
(2) AccuracyIR(A)=|apr_IR(A)¯aprIR(A)|≤|apr_JR(A)¯aprJR(A)|=AccuracyJR(A).
Remark 3.3. Example 3.1 (ii) shows that the converse of (1) and (2) in Theorem 3.1 is not necessarily true in general. Take A={b,c}; then,
(1) BoundaryJR(A)=ϕ⊆ϕ=BoundaryIR(A), but I⊈J.
(2) AccuracyIR(A)=32<2=AccuracyJR(A), but I⊈J.
Theorem 3.2. Let ϕ≠A⊆U,I be an ideal on U and R1,R2 be two binary relations on U. If R1⊆R2, then
(1) ¯aprIR1(A)⊆¯aprIR2(A).
(2) apr_IR2(A)⊆apr_IR1(A).
(3) BoundaryIR1(A)⊆BoundaryIR2(A).
(4) AccuracyIR2(A)≤AccuracyIR1(A).
Proof.
(1) Let x∈¯aprIR1(A). Then, <x>˘R1∩A∉I. Since <x>˘R1⊆<x>˘R2 (by Theorem 2.1 [7]). It follows that <x>˘R2∩A∉I. Thus, x∈¯aprIR2(A). Hence, ¯aprIR1(A)⊆¯aprIR2(A).
(2) Let x∈apr_IR2(A). Then, <x>˘R2∩Ac∈I. Since <x>˘R1⊆<x>˘R2 (by Theorem 2.1 [7]). It follows that <x>˘R1∩Ac∈I. Thus, x∈apr_IR1(A). Hence, apr_IR2(A)⊆apr_IR1(A).
(3) Let x∈BoundaryIR1(A). Then, x∈¯aprIR1(A)−apr_IR1(A). So, x∈¯aprIR1(A) and x∈(apr_IR1(A))c. Thus, x∈¯aprIR2(A) and x∈(apr_IR2(A))c according to (1) and (2). Hence, x∈BoundaryIR2(A). Therefore, BoundaryIR1(A)⊆BoundaryIR2(A).
(4) AccuracyIR2(A)=|apr_IR2(A)¯aprIR2(A)|≤|apr_IR1(A)¯aprIR1(A)|=AccuracyIR1(A).
The following example shows that the inclusion and less than relation in Theorem 3.2 cannot be replaced by an equality relation in general.
Example 3.3. Let
be two relations defined on U; thus,
Take
(i) A={a,d}; then,
(1) ¯aprIR1(A)={a,b}≠{a,b,c}=¯aprIR2(A).
(2) AccuracyIR1(A)=2≠43=AccuracyIR2(A).
(ii) A={b,c}; then, apr_IR1(A)={c,d}≠{d}=apr_IR2(A).
The following theorem presents the relationships between the current approximations in Definition 3.1 and the previous ones in Definition 2.5 [11]. It shows that the present method outlined in Definition 3.1 reduces the boundary region by increasing the lower approximations and decreasing the upper approximations more effectively than Dai et al.'s method (Definition 2.5) [11]. Additionally, it shows that the current accuracy provided by Definition 3.1 is greater than the previous ones provided by Definition 2.5 [11].
Theorem 3.3. Let A⊆U,I be an ideal on U and R be a similarity relation on a non-empty set U. Then,
(1) ¯aprIR(A)⊆¯aprR(A).
(2) apr_R(A)⊆apr_IR(A).
(3) BoundaryIR(A)⊆BoundaryR(A).
(4) AccuracyR(A)≤AccuracyIR(A).
Proof.
(1) Let x∈¯aprIR(A). Then, <x>˘R∩A∉I. Hence, <x>˘R∩A≠ϕ. Therefore, x∈¯aprR(A). So, ¯aprIR(A)⊆¯aprR(A).
(2) Let x∈apr_R(A). Then, <x>˘R⊆A. Hence, <x>˘R∩Ac∈I. Therefore, x∈apr_IR(A). So, apr_R(A)⊆apr_IR(A).
(3) and (4) $The proof is immediately by (1) and (2).
Remark 3.4. Example 3.3 shows that the inclusion and less than relation in Theorem 3.3 cannot be replaced by an equality relation in general. Take A={a,d}; then,
(1) ¯aprIR1(A)={a,b}≠{a,b,d}=¯aprR1(A).
(2) apr_IR1(A)=U≠{d}=apr_R1(A).
(3) BoundaryIR1(A)=ϕ≠{a,b}=BoundaryR1(A).
(4) AccuracyIR1(A)=2≠13=AccuracyR1(A).
4.
Second method to obtain generalized rough sets using ideals
The aim of this section is to propose the second type of the extension of rough approximations. The characteristics of these approximations are suggested. Moreover, some relationships among these approximations and the first type of approximations in the previous section are disclosed with the help of some elucidative examples. Comparisons between these approximations and the ones in [11] are presented.
Definition 4.1. Let R be a binary relation on a non-empty set U and I be an ideal on U. For any subset A⊆U, the second kind of generalized lower and upper approximations, boundary regions, accuracy and roughness of A using ideal and according to R are respectively defined by
Proposition 4.1. Let A⊆U,I,J be two ideals on U and R be a binary relation on U. Then, the following properties hold:
(1) A⊆¯¯aprIR(A) equality holds if A=ϕ or U.
(2) A⊆B⇒¯¯aprIR(A)⊆¯¯aprIR(B).
(3) ¯¯aprIR(A)⊆¯¯aprIR(¯¯aprIR(A)).
(4) ¯¯aprIR(A∩B)⊆¯¯aprIR(A)∩¯¯aprIR(B).
(5) ¯¯aprIR(A∪B)=¯¯aprIR(A)∪¯¯aprIR(B).
(6) ¯¯aprIR(A)=(apr__IR(Ac))c.
(7) If A∈I, then ¯¯aprIR(A)=A. (8) If I⊆J, then ¯¯aprJR(A)⊆¯¯aprIR(A).
(9) If I=P(U), then ¯¯aprIR(A)=A.
(10) ¯¯aprI∩JR(A)=¯¯aprIR(A)∪¯¯aprJR(A).
(11) ¯¯aprI∨JR(A)=¯¯aprIR(A)∩¯¯aprJR(A).
Proof. Similar to Proposition 3.1.
Proposition 4.2. Let A,B⊆U,I,J be two ideals on U and R be a binary relation on U. Then, the following properties hold:
(1) apr__IR(A)⊆A equality holds if A=ϕ or U.
(2) A⊆B⇒apr__IR(A)⊆apr__IR(B).
(3) apr__IR(apr__IR(A))⊆apr__IR(A).
(4) apr__IR(A)∪apr__IR(B)⊆apr__IR(A∪B).
(5) apr__IR(A∩B)=apr__IR(A)∩apr__IR(B).
(6) apr__IR(A)=(¯apr_IR(Ac))c.
(7) If Ac∈I, then apr__IR(A)=A.
(8) If I⊆J, then apr__IR(A)⊆apr__JR(A).
(9) If I=P(U), then apr__IR(A)=A.
(10) apr__I∩JR(A)=apr__IR(A)∩apr__JR(A).
Proof. Similar to Proposition 3.2.
Remark 4.1. (i) Example 3.1 (i) also shows that the converse of (2), (7) and (9) in Propositions 4.1 and 4.2 is not necessarily true in general.
(a) For (2), take
(1) A={a} and B={d}; then, ¯¯aprIR(A)={a}⊆{a,c,d}=¯¯aprIR(B), but A⊈B.
(2) A={a,b,c} and B={b,c,d}; then, apr__IR(A)={b}⊆{b,c,d}=apr__IR(B), but A⊈B.
(b) For (7), take
(1) A={a,c,d}; then, ¯¯aprIR(A)=A, but A∉I.
(2) A={b}; then, apr__IR(A)=A, but Ac∉I.
(c) For (9), take
(1) A={a,c,d}; then, ¯¯aprIR(A)=A, but I≠P(U).
(2)A={b}; then, apr__IR(A)=A, but I≠P(U).
(ii) Example 3.1 (ii) also shows that the converse of (8) in Propositions 4.1 and 4.2 is not necessarily true in general. Take
(1) A={a,d}; then, ¯¯aprJR(A)={a,d}⊆{a,d}=¯¯aprIR(A), but I⊈J.
(2) A={b,c}; then, apr__IR(A)={b,c}⊆{b,c}=apr__JR(A), but I⊈J.
(iii) Example 3.1 (iii) also shows that the inclusion of (3) and (4) in Propositions 4.1 and 4.2 cannot be replaced by an equality in general.
(a) For (3), take
(1) A={b,c}; then, ¯¯aprIR(A)={a,b,c} and ¯¯aprIR(¯¯aprIR(A))=U. Therefore, ¯¯aprIR(A)={a,b,c}≠U=¯¯aprIR(¯¯aprIR(A)).
(2) A={a,d}; then, apr__IR(A)={d} and apr__IR(apr__IR(A))=ϕ. Therefore, apr__IR(A)={d}≠ϕ=apr__IR(apr__IR(A)).
(b) For (4), take
(1) A={a,d},B={b,c} and A∩B=ϕ. Hence, ¯¯aprIR(A)=U and ¯¯aprIR(B)={a,b,c}. Therefore, ¯¯aprIR(A)∩¯¯aprIR(B)={a,b,c}≠ϕ=¯¯aprIR(A∩B).
(2) A={a,d},B={b,c} and A∪B=U. Hence, apr__IR(A)={d} and apr__IR(B)=ϕ. Therefore, apr__IR(A)∪apr__IR(B)={d}≠U=apr__IR(A∪B).
Remark 4.2. There are some properties that are not held or satisfied for the second type.
(i) Considering Example 3.1 (i), take
(1) A={a}∈I; then, ¯¯aprIR(A)=A. Hence, if A∈I⇏
(2) A^{c} = \{a\}\in \mathcal{I}; then, \underline{\underline{apr}}_{R}^{\mathcal{I}}(A) = A. Hence, if A^{c}\in \mathcal{I}\nRightarrow \underline{\underline{apr}}_{R}^{\mathcal{I}}(A) = U.
(ii) Considering Example 3.1 (ii), take
(1) \mathcal{J} = P(U) and A = \{a, d\}; then, \overline{\overline{apr}}_{R}^{\mathcal{J}}(A) = A. Hence, if \mathcal{J} = P(U)\nRightarrow\overline{\overline{apr}}_{R}^{\mathcal{J}}(A) = \phi.
(2) \mathcal{J} = P(U) and A = \{b, c\}; then, \underline{\underline{apr}}_{R}^{\mathcal{J}}(A) = A. Hence, if \mathcal{J} = P(U)\nRightarrow \underline{\underline{apr}}_{R}^{\mathcal{J}}(A) = U.
(iii) Considering Example 3.2, take
(1) A = \{c\}; then, \overline{\overline{apr}}_{R}^{\mathcal{I}}(A) = \{a, b, c\} and \underline{\underline{apr}}_{R}^{\mathcal{I}}(\overline{\overline{apr}}_{R}^{\mathcal{I}}(A)) = \{c\}. Therefore, \overline{\overline{apr}}_{R}^{\mathcal{I}}(A) = \{a, b, c\}\nsubseteq \{c\} = \underline{\underline{apr}}_{R}^{\mathcal{I}}(\overline{\overline{apr}}_{R}^{\mathcal{I}}(A)).
(2) A = \{a, b, d\}; then, \underline{\underline{apr}}_{R}^{\mathcal{I}}(A) = \{d\} and \overline{\overline{apr}}_{R}^{\mathcal{I}}(\underline{\underline{apr}}_{R}^{\mathcal{I}}(A)) = \{a, b, d\}. Therefore, \overline{\overline{apr}}_{R}^{\mathcal{I}}(\underline{\underline{apr}}_{R}^{\mathcal{I}}(A)) = \{a, b, d\} \nsubseteq \{d\} = \underline{\underline{apr}}_{R}^{\mathcal{I}}(A).
Theorem 4.1. Let A \subseteq U, \; \mathcal{I}, \mathcal{J} be two ideals on U and R be a binary relation on U . If \mathcal{I}\subseteq\mathcal{J}, then
(1) \underline{Boundary}_{R}^{\mathcal{J}}(A)\subseteq \underline{Boundary}_{R}^{\mathcal{I}}(A).
(2) \underline{Accuracy}_{R}^{\mathcal{I}}(A)\leq \underline{Accuracy}_{R}^{\mathcal{J}}(A).
Proof. Similar to the proof of Theorem 3.1.
Remark 4.3. Example 3.1 (ii) shows that the converse of (1) and (2) in Theorem 4.1 is not necessarily true in general. Take A = \{b, c\}; then,
(1) \underline{Boundary}_{R}^{\mathcal{J}}(A) = \phi\subseteq \{a\} = \underline{Boundary}_{R}^{\mathcal{I}}(A), but \mathcal{I}\nsubseteq\mathcal{J}.
(2) \underline{Accuracy}_{R}^{\mathcal{J}}(A) = 1\leq \frac{2}{3} = \underline{Accuracy}_{R}^{\mathcal{I}}(A), but \mathcal{I}\nsubseteq\mathcal{J}.
Theorem 4.2. Let \phi \neq A \subseteq U, \; \mathcal{I} be an ideal on U and R_1, R_2 be two binary relations on U. If R_1\subseteq R_2 , then
(1) \overline{\overline{apr}}_{R_1}^{\mathcal{I}}(A)\subseteq \overline{\overline{apr}}_{R_2}^{\mathcal{I}}(A).
(2) \underline{\underline{apr}}_{R_2}^{\mathcal{I}}(A)\subseteq \underline{\underline{apr}}_{R_1}^{\mathcal{I}}(A).
(3) \underline{Boundary}_{R_{1}}^{\mathcal{I}}(A)\subseteq \underline{Boundary}_{R_{2}}^{\mathcal{I}}(A).
(4) \underline{Accuracy}_{R_{2}}^{\mathcal{I}}(A)\leq \underline{Accuracy}_{R_{1}}^{\mathcal{I}}(A).
(5) \underline{Roughness}_{R_{1}}^{\mathcal{I}}(A)\leq \underline{Roughness}_{R_{2}}^{\mathcal{I}}(A).
Proof. Similar to Theorem 3.2.
Remark 4.4. Example 3.3 shows that the inclusion and less than relation in Theorem 4.2 cannot be replaced by an equality relation in general. Take A = \{a, d\}; then,
(1) \overline{\overline{apr}}_{R_{1}}^{\mathcal{I}}(A) = \{a, b, d\}\neq U = \overline{\overline{apr}}_{R_{2}}^{\mathcal{I}}(A).
(2) \underline{Boundary}_{R_{1}}^{\mathcal{I}}(A) = \{b\}\neq \{b, c\} = \underline{Boundary}_{R_{2}}^{\mathcal{I}}(A).
(3) \underline{Accuracy}_{R_{1}}^{\mathcal{I}}(A) = \frac{2}{3}\neq \frac{1}{2} = \underline{Accuracy}_{R_{2}}^{\mathcal{I}}(A).
(4) \underline{Roughness}_{R_{1}}^{\mathcal{I}}(A) = 0.3\neq 0.5 = \underline{Roughness}_{R_{2}}^{\mathcal{I}}(A).
The following theorem presents the relationships between the current approximations in Definitions 3.1 and 4.1.
Theorem 4.3. Let A \subseteq U, \; \mathcal{I} be an ideal on U and R be a binary relation on U. Then,
(1) \overline{apr}_{R}^{\mathcal{I}}(A)\subseteq \overline{ \overline{apr}}_{R}^{\mathcal{I}}(A).
(2) \underline{\underline{apr}}_{R}^{\mathcal{I}}(A)\subseteq\underline{apr}_{R}^{\mathcal{I}}(A).
(3) Boundary_{R}^{\mathcal{I}}(A)\subseteq\underline{Boundary}_{R}^{\mathcal{I}}(A).
(4) \underline{Accuracy}_{R}^{\mathcal{I}}(A) \leq Accuracy_{R}^{\mathcal{I}}(A).
Proof. Immediately by using the Definitions 3.1 and 4.1.
Remark 4.5. Example 3.3 shows that the inclusion and less than relation in Theorem 4.3 cannot be replaced by an equality relation in general. Take A = \{a, c, d\}; then,
(1) \overline{apr}_{R_{1}}^{\mathcal{I}}(A) = \{a, b\}\neq U = \overline{ \overline{apr}}_{R_{1}}^{\mathcal{I}}(A).
(2) \underline{\underline{apr}}_{R_{1}}^{\mathcal{I}}(A) = \{a, c, d\}\neq U = \underline{apr}_{R_{1}}^{\mathcal{I}}(A).
(3) Boundary_{R_{1}}^{\mathcal{I}}(A) = \phi\neq\{b\} = \underline{Boundary}_{R_{1}}^{\mathcal{I}}(A).
(4) \underline{Accuracy}_{R_{1}}^{\mathcal{I}}(A) = \frac{3}{4} \lneq 2 = Accuracy_{R_{1}}^{\mathcal{I}}(A).
Comparisons between the current approximations in Definition 4.1 and the previous ones in Definition 2.5 [11] are given by the following theorem.
Theorem 4.4. Let A \subseteq U, \; \mathcal{I} be an ideal on U and R be a similarity relation on a non-empty set U . Then,
(1) \overline{\overline{apr}}_R^{\mathcal{I}}(A)\subseteq \overline{apr}_R(A).
(2) \underline{apr}_{R}(A) \subseteq \underline{\underline{apr}}_{R}^{\mathcal{I}}(A).
(3) \underline{Boundary}_{R}^{\mathcal{I}}(A)\subseteq Boundary_{R}(A).
(4) Accuracy_{R}(A) \leq \underline{Accuracy}_{R}^{\mathcal{I}}(A).
(5) \underline{Roughness}_{R}^{\mathcal{I}}(A) \leq Roughness_{R}(A).
Proof. The proof is similar to that of Theorem 3.3.
Remark 4.6. Example 3.3 shows that the inclusion and less than relation in Theorem 4.4 cannot be replaced by an equality relation. Take A = \{b, c, d\}; then, \overline{\overline{apr}}_{R_{1}}^{\mathcal{I}}(A) = \{b, c, d\}\neq U = \overline{apr}_{R_{1}}(A). Moreover, if A = \{a, c, d\}; then,
(1) \underline{apr}_{R_{1}}(A) = \{c, d\}\neq \{a, c, d\} = \underline{\underline{apr}}_{R_{1}}^{\mathcal{I}}(A).
(2) \underline{Boundary}_{R_{1}}^{\mathcal{I}}(A) = \{b\}\neq\{a, b\} = Boundary_{R_{1}}(A).
(3) Accuracy_{R_{1}}(A) = \frac{1}{2} \lneq \frac{3}{4} = \underline{Accuracy}_{R_{1}}^{\mathcal{I}}(A).
(4) \underline{Roughness}_{R_{1}}^{\mathcal{I}}(A) = \frac{1}{4}\lneq\frac{1}{2} = Roughness_{R_{1}}(A).
5.
Third method to obtain generalized rough sets using ideals
This section is mainly concerned with the third type of the generalized rough approximations. The fundamental characteristics of these approximations are interjected and analyzed. Additionally, an example is introduced to show that the corresponding lower and upper approximations, boundary regions, accuracy measures and roughness measures of this type of these approximations are not monotonic. After this, the comparisons between these approximations and the approximations in Sections 3 and 4 are introduced. Finally, the relationships between these approximations and the previous ones in [11] are discussed.
Definition 5.1. Let R be a binary relation on a non-empty set U and \mathcal{I} be an ideal on U. For any subset A \subseteq U, the third kind of generalized lower and upper approximations, boundary regions, accuracy and roughness of A using ideal and according to R are respectively defined by
Proposition 5.1. Let A, B \subseteq U, \; \mathcal{I}, \mathcal{J} be two ideals on U and R be a binary relation on U. Then, the following properties hold:
(1) A\subseteq B\Rightarrow \underline{apr^{'}}_{R}^{\mathcal{I}}(A)\subseteq \underline{apr^{'}}_{R}^{\mathcal{I}}(B).
(2) \underline{apr^{'}}_{R}^{\mathcal{I}}(A)\cup \underline{apr^{'}}_{R}^{\mathcal{I}}(B)\subseteq\underline{apr^{'}}_{R}^{\mathcal{I}}(A\cup B).
(3) \underline{apr^{'}}_{R}^{\mathcal{I}}(A\cap B)\subseteq\underline{apr^{'}}_{R}^{\mathcal{I}}(A)\cap\underline{apr^{'}}_{R}^{\mathcal{I}}(B).
(4) \underline{apr^{'}}_{R}^{\mathcal{I}}(A) = (\overline{apr^{'}}_{R}^{\mathcal{I}}(A^{c}))^{c}.
(5) If \mathcal{I} \subseteq\mathcal{J}, then \underline{apr^{'}}_{R}^{\mathcal{I}}(A)\subseteq \underline{apr^{'}}_{R}^{\mathcal{J}}(A).
(6) \underline{apr^{'}}_{R}^{\mathcal{I}\cap \mathcal{J}}(A) = \underline{apr^{'}}_{R}^{\mathcal{I}}(A)\cap \underline{apr^{'}}_{R}^{\mathcal{J}}(A).
Proof.
(1) Let A\subseteq B and x\in \underline{apr^{'}}_{R}^{\mathcal{I}}(A). Then, \exists\; y\in U such that x\in < y > \breve{R}\cap A^{c} \in \mathcal{I}. Hence, x\in < y > \breve{R}\cap B^{c} \in \mathcal{I} (by B^{c}\subseteq A^{c}, and the properties of an ideal). Thus, x\in \underline{apr^{'}}_{R}^{\mathcal{I}}(B). Therefore, \underline{apr^{'}}_{R}^{\mathcal{I}}(A)\subseteq \underline{apr^{'}}_{R}^{\mathcal{I}}(B).
(2) The proof is immediately by (1).
(3) The proof is immediately by (1).
(4) The proof is straightforward by Definition 5.1.
(5) Let \mathcal{I} \subseteq\mathcal{J} and x\in\underline{apr^{'}}_{R}^{\mathcal{I}}(A). Then, \exists\; y\in U such that x\in < y > \breve{R}\cap A^{c} \in \mathcal{I} \subseteq\mathcal{J}. So, x \in \underline{apr^{'}}_{R}^{\mathcal{J}}(A), and hence \underline{apr^{'}}_{R}^{\mathcal{I}}(A)\subseteq \underline{apr^{'}}_{R}^{\mathcal{J}}(A).
(6)
Proposition 5.2. Let A, B \subseteq U, \; \mathcal{I}, \mathcal{J} be two ideals on U and R be a binary relation on U. Then, the following properties hold:
(1) A\subseteq B\Rightarrow \overline{apr^{'}}_{R}^{\mathcal{I}}(A)\subseteq \overline{apr^{'}}_{R}^{\mathcal{I}}(B).
(2) \overline{apr^{'}}_{R}^{\mathcal{I}}(A\cap B)\subseteq\overline{apr^{'}}_{R}^{\mathcal{I}}(A)\cap\overline{apr^{'}}_{R}^{\mathcal{I}}(B).
(3) \overline{apr^{'}}_{R}^{\mathcal{I}}(A)\cup \overline{apr^{'}}_{R}^{\mathcal{I}}(B)\subseteq \overline{apr^{'}}_{R}^{\mathcal{I}}(A\cup B).
(4) \overline{apr^{'}}_{R}^{\mathcal{I}}(A) = (\underline{apr^{'}}_{R}^{\mathcal{I}}(A^{c}))^{c}.
(5) If \mathcal{I} \subseteq\mathcal{J}, then \overline{apr^{'}}_{R}^{\mathcal{J}}(A)\subseteq \overline{apr^{'}}_{R}^{\mathcal{I}}(A).
(6) \overline{apr^{'}}_{R}^{\mathcal{I}\cap \mathcal{J}}(A) = \overline{apr^{'}}_{R}^{\mathcal{I}}(A)\cup \overline{apr^{'}}_{R}^{\mathcal{J}}(A).
Proof.
(1) Let A\subseteq B. Thus, B^{c}\subseteq A^{c}, and \underline{apr^{'}}_{R}^{\mathcal{I}}(B^{c})\subseteq \underline{apr^{'}}_{R}^{\mathcal{I}}(A^{c}) (by (1) in Proposition 5.1). So, (\underline{apr^{'}}_{R}^{\mathcal{I}}(A^{c}))^{c}\subseteq (\underline{apr^{'}}_{R}^{\mathcal{I}}(B^{c}))^{c}. Consequently, \overline{apr^{'}}_{R}^{\mathcal{I}}(A)\subseteq \overline{apr^{'}}_{R}^{\mathcal{I}}(B).
(2) The proof is immediately by (1).
(3) The proof is immediately by (1).
(4) The proof is straightforward by Definition 5.1.
(5) Let \mathcal{I} \subseteq\mathcal{J} and x\in\overline{apr^{'}}_{R}^{\mathcal{J}}(A). Then, x\in(\underline{apr^{'}}_{R}^{\mathcal{J}}(A^{c}))^{c}\subseteq (\underline{apr^{'}}_{R}^{\mathcal{I}}(A^{c}))^{c}, (by (5) in Proposition 5.1). Thus, x\in(\underline{apr^{'}}_{R}^{\mathcal{I}}(A^{c}))^{c} = \overline{apr^{'}}_{R}^{\mathcal{I}}(A). Therefore, \overline{apr^{'}}_{R}^{\mathcal{J}}(A)\subseteq \overline{apr^{'}}_{R}^{\mathcal{I}}(A).
(6)
Remark 5.1. (1) Example 3.1 (i) shows that the converse of (1) in Propositions 5.1 and 5.2 is not necessarily true in general. Take
(a) A = \{a\} and B = \{d\}; then, \overline{apr^{'}}_{R}^{\mathcal{I}}(A) = \phi and \overline{apr^{'}}_{R}^{\mathcal{I}}(B) = \{a, d\}. Therefore, \overline{apr^{'}}_{R}^{\mathcal{I}}(A)\subseteq \overline{apr^{'}}_{R}^{\mathcal{I}}(B), but A\nsubseteq B.
(b) A = \{b\} and B = \{a, c, d\}; then, \underline{apr^{'}}_{R}^{\mathcal{I}}(A) = \{b, c\} and \underline{apr^{'}}_{R}^{\mathcal{I}}(B) = U. Therefore, \underline{apr^{'}}_{R}^{\mathcal{I}}(A)\subseteq \underline{apr^{'}}_{R}^{\mathcal{I}}(B), but A\nsubseteq B.
(2) Example 3.1 (iii) shows that the inclusion of (2) in Propositions 5.1 and 5.2 cannot be replaced by an equality relation in general. Take A = \{a, d\} and B = \{b, c\}, then
(a) \overline{apr^{'}}_{R}^{\mathcal{I}}(A) = U, \overline{apr^{'}}_{R}^{\mathcal{I}}(B) = \{b, c\} and \overline{apr^{'}}_{R}^{\mathcal{I}}(A\cap B) = \phi. Therefore, \overline{apr^{'}}_{R}^{\mathcal{I}}(A)\cap \overline{apr^{'}}_{R}^{\mathcal{I}}(B) = \{b, c\}\neq \phi = \overline{apr^{'}}_{R}^{\mathcal{I}}(A\cap B).
(b) \underline{apr^{'}}_{R}^{\mathcal{I}}(A) = A, \underline{apr^{'}}_{R}^{\mathcal{I}}(B) = \phi and \underline{apr^{'}}_{R}^{\mathcal{I}}(A\cup B) = U. Therefore, \underline{apr^{'}}_{R}^{\mathcal{I}}(A)\cup \underline{apr^{'}}_{R}^{\mathcal{I}}(B) = A\neq U = \underline{apr^{'}}_{R}^{\mathcal{I}}(A\cup B).
(3)
Example 5.1. Let U = \{a, b, c, d\}, \mathcal{I} = \{\phi, \{a\}\} and R = \{(a, a), (a, c), (a, d), (b, a), (b, b), (b, c), (d, a), (d, b)\} be a binary relation defined on U; thus, < a > \breve{R} = < c > \breve{R} = U, < b > \breve{R} = \{a, b, c\} and < d > \breve{R} = \{a, c, d\}. This example shows that the inclusion of (3) in Propositions 5.1 and 5.2 cannot be replaced by an equality relation in general. Take
(a) A = \{a, c, d\}, B = \{a, b, c\} and A\cap B = \{a, c\}; then, \underline{apr^{'}}_{R}^{\mathcal{I}}(A) = A, \underline{apr^{'}}_{R}^{\mathcal{I}}(B) = B and \underline{apr^{'}}_{R}^{\mathcal{I}}(A\cap B) = \phi. Therefore, \underline{apr^{'}}_{R}^{\mathcal{I}}(A)\cap \underline{apr^{'}}_{R}^{\mathcal{I}}(B) = \{a, c\}\neq \phi = \underline{apr^{'}}_{R}^{\mathcal{I}}(A\cap B).
(b) A = \{b\}, B = \{d\} and A\cup B = \{b, d\}; then, \overline{apr^{'}}_{R}^{\mathcal{I}}(A) = A, \overline{apr^{'}}_{R}^{\mathcal{I}}(B) = B and \overline{apr^{'}}_{R}^{\mathcal{I}}(A\cup B) = U. Therefore, \overline{apr^{'}}_{R}^{\mathcal{I}}(A)\cup \overline{apr^{'}}_{R}^{\mathcal{I}}(B) = \{b, d\}\neq U = \overline{apr^{'}}_{R}^{\mathcal{I}}(A\cup B).
(4) Example 3.1 (ii) shows that the converse of (5) in Propositions 5.1 and 5.2 is not necessarily true in general. Take
(a) A = \{a, d\}; then, \overline{apr^{'}}_{R}^{\mathcal{I}}(A) = \{a, d\} and \overline{apr^{'}}_{R}^{\mathcal{J}}(A) = \{d\}. Therefore, \overline{apr^{'}}_{R}^{\mathcal{J}}(A)\subseteq \overline{apr^{'}}_{R}^{\mathcal{I}}(A), but \mathcal{I} \nsubseteq \mathcal{J}.
(b) A = \{b, c\}; then, \underline{apr^{'}}_{R}^{\mathcal{I}}(A) = \{b, c\} and \underline{apr^{'}}_{R}^{\mathcal{J}}(A) = \{a, b, c\}. Therefore, \underline{apr^{'}}_{R}^{\mathcal{I}}(A)\subseteq \underline{apr^{'}}_{R}^{\mathcal{J}}(A), but \mathcal{I} \nsubseteq \mathcal{J}.
Remark 5.2. There are some properties that are not held or satisfied for the third type.
(i) Considering Example 3.1 (i), take
(1) A = \{a\}; then, \overline{apr^{'}}_{R}^{\mathcal{I}}(A) = \phi. Hence, A\nsubseteq \overline{apr^{'}}_{R}^{\mathcal{I}}(A).
(2) A = \{b, c, d\}; then, \underline{apr^{'}}_{R}^{\mathcal{I}}(A) = U. Hence, \underline{apr^{'}}_{R}^{\mathcal{I}}(A) \nsubseteq A.
(3) A = U; then, \overline{apr^{'}}_{R}^{\mathcal{I}}(U) = \{a, d\}. Hence, \overline{apr^{'}}_{R}^{\mathcal{I}}(U)\neq U.
(4) A = \phi; then, \underline{apr^{'}}_{R}^{\mathcal{I}}(\phi) = \{b, c\}. Hence, \underline{apr^{'}}_{R}^{\mathcal{I}}(\phi)\neq \phi.
(ii)
Example 5.2. Let U = \{a, b, c, d\}, \mathcal{I} = \{\phi, \{a\}\} and R = \{(a, a)\} be a binary relation defined on U; thus, < a > \breve{R} = \{a\} and < b > \breve{R} = < c > \breve{R} = < d > \breve{R} = \phi. Take
(1) A = U; then, \underline{apr^{'}}_{R}^{\mathcal{I}}(U) = \{a\}. Hence, \underline{apr^{'}}_{R}^{\mathcal{I}}(U)\neq U.
(2) A = \phi; then, \overline{apr^{'}}_{R}^{\mathcal{I}}(\phi) = \{b, c, d\}. Hence, \overline{apr^{'}}_{R}^{\mathcal{I}}(\phi)\neq \phi.
(iii) Considering Example 5.2, take
(1) A = \{b, c, d\}; then, A^{c} \in\mathcal{I} and \underline{apr^{'}}_{R}^{\mathcal{I}}(A) = \{a\}. Hence, if A^{c} \in\mathcal{I} \nRightarrow \underline{apr^{'}}_{R}^{\mathcal{I}}(A) = U or A.
(2) A = \{a\} \in\mathcal{I}; then, \overline{apr{'}}_{R}^{\mathcal{I}}(A) = \{b, c, d\}. Hence, if A \in\mathcal{I} \nRightarrow \overline{apr^{'}}_{R}^{\mathcal{I}}(A) = \phi or A.
(3) A = \{b, c, d\} and \mathcal{I} = P(U); then, \underline{apr^{'}}_{R}^{\mathcal{I}}(A) = \{a\}. Hence, if \mathcal{I} = P(U)\nRightarrow \underline{apr^{'}}_{R}^{\mathcal{I}}(A) = U, or A.
(4) A = \{a\} and \mathcal{I} = P(U); then, \overline{apr{'}}_{R}^{\mathcal{I}}(A) = \{b, c, d\}. Hence, if \mathcal{I} = P(U)\nRightarrow \overline{apr^{'}}_{R}^{\mathcal{I}}(A) = \phi, or A.
Theorem 5.1. Let A \subseteq U, \; \mathcal{I}, \mathcal{J} be two ideals on U and R be a binary relation on U . If \mathcal{I}\subseteq\mathcal{J}, then
(1) {Boundary^{'}}_{R}^{\mathcal{J}}(A)\subseteq {Boundary^{'}}_{R}^{\mathcal{I}}(A).
(2) {Accuracy^{'}}_{R}^{\mathcal{I}}(A)\leq {Accuracy^{'}}_{R}^{\mathcal{J}}(A).
Proof. Similar to Theorem 3.1.
Remark 5.3. Example 3.1 (ii) shows that the converse of (1) and (2) in Theorem 5.1 is not necessarily true in general. Take A = \{b, c\}; then,
(1) {Boundary^{'}}_{R}^{\mathcal{J}}(A) = \{d\}\subseteq \{d\} = {Boundary^{'}}_{R}^{\mathcal{I}}(A), but \mathcal{I}\nsubseteq\mathcal{J}.
(2) {Accuracy^{'}}_{R}^{\mathcal{I}}(A) = \frac{2}{3} < 1 = {Accuracy^{'}}_{R}^{\mathcal{J}}(A), but \mathcal{I}\nsubseteq\mathcal{J}.
The following example shows that the corresponding lower and upper approximations, boundary regions, accuracy measures and roughness measures for the third type do not have monotonicity.
Example 5.3. Let U = \{a, b, c, d, e, f, g\}, \mathcal{I} = \{\phi, \{a\}\} and R_1, R_2 be two relations on U where
Thus, < a > \breve{R_1} = \{a, c, g\}, < b > \breve{R_1} = \{b\}, < c > \breve{R_1} = < g > \breve{R_1} = \{a, c, e, g\}, < d > \breve{R_1} = < f > \breve{R_1} = \{d, f\}, < e > \breve{R_1} = \{c, e, g\}, < a > \breve{R_2} = \{a, c, d, e, f, g\}, < b > \breve{R_2} = \{b, d, f\}, < c > \breve{R_2} = < e > \breve{R_2} = \{a, c, d, e, g\}, < d > \breve{R_2} = \{a, b, c, d, e, f\}, < f > \breve{R_2} = \{a, b, d, f\} and < g > \breve{R_2} = \{a, c, e, g\}. Take
(1) A = \{a, b, c, d, e, f \}; then, \underline{apr^{'}}_{R_1}^{\mathcal{I}}(A) = \{b, d, f\} and \underline{apr^{'}}_{R_2}^{\mathcal{I}}(A) = A. Therefore, \underline{apr^{'}}_{R_1}^{\mathcal{I}}(A)\nsupseteq \underline{apr^{'}}_{R_2}^{\mathcal{I}}(A).
(2) A = \{g \}; then, \overline{apr^{'}}_{R_1}^{\mathcal{I}}(A) = \{a, c, e, g\} and \overline{apr^{'}}_{R_2}^{\mathcal{I}}(A) = \{g\}. Therefore, \overline{apr^{'}}_{R_1}^{\mathcal{I}}(A)\nsubseteq \overline{apr^{'}}_{R_2}^{\mathcal{I}}(A).
(3) A = \{a, b, c, d, e, f \}; then, \underline{apr^{'}}_{R_1}^{\mathcal{I}}(A) = \{b, d, f\}, \overline{apr^{'}}_{R_1}^{\mathcal{I}}(A) = U, \underline{apr^{'}}_{R_2}^{\mathcal{I}}(A) = A and \overline{apr^{'}}_{R_2}^{\mathcal{I}}(A) = U. Therefore,
(a) {Boundary^{'}}_{R_1}^{\mathcal{I}}(A) = \{a, c, e, g\}\nsubseteq \{g\} = {Boundary^{'}}_{R_2}^{\mathcal{I}}(A).
(b) {Accuracy^{'}}_{R_1}^{\mathcal{I}}(A) = \frac{3}{7} < \frac{6}{7} = {Accuracy^{'}}_{R_2}^{\mathcal{I}}(A).
(c) {Roughness^{'}}_{R_1}^{\mathcal{I}}(A) = \frac{4}{7} > \frac{1}{7} = {Roughness^{'}}_{R_2}^{\mathcal{I}}(A).
Although, R_1\subseteq R_2.
Theorem 5.2. Let A \subseteq U, \; \mathcal{I} be an ideal on U and R be a reflexive relation on U. Then,
(1) \underline{\underline{apr}}_{R}^{\mathcal{I}}(A)\subseteq\underline{apr}_{R}^{\mathcal{I}}(A)\subseteq \underline{apr^{'}}_{R}^{\mathcal{I}}(A)\subseteq A\subseteq\ \overline{apr^{'}}_{R}^{\mathcal{I}}(A)\subseteq\overline{apr}_{R}^{\mathcal{I}}(A)\subseteq \overline{ \overline{apr}}_{R}^{\mathcal{I}}(A).
(2) {Boundary^{'}}_{R}^{\mathcal{I}}(A)\subseteq Boundary_{R}^{\mathcal{I}}(A)\subseteq\underline{Boundary}_{R}^{\mathcal{I}}(A).
(3) \underline{Accuracy}_{R}^{\mathcal{I}}(A) \leq Accuracy_{R}^{\mathcal{I}}(A)\leq {Accuracy^{'}}_{R}^{\mathcal{I}}(A).
Proof. We prove (1) only and the others are straightforward from (1). By Theorem 4.3, we have \underline{\underline{apr}}_{R}^{\mathcal{I}}(A)\subseteq\underline{apr}_{R}^{\mathcal{I}}(A). To prove \underline{apr}_{R}^{\mathcal{I}}(A)\subseteq \underline{apr^{'}}_{R}^{\mathcal{I}}(A), let x\in\underline{apr}_{R}^{\mathcal{I}}(A); then, < x > \breve{R}\cap A^{c} \in \mathcal{I}. Hence, < x > \breve{R}\subseteq \underline{apr^{'}}_{R}^{\mathcal{I}}(A). Since R is a reflexive relation, it follows that x\in < x > \breve{R}\subseteq\underline{apr^{'}}_{R}^{\mathcal{I}}(A). Therefore, x\in \underline{apr^{'}}_{R}^{\mathcal{I}}(A). Since R is reflexive. It follows that \underline{apr^{'}}_{R}^{\mathcal{I}}(A)\subseteq A\subseteq\ \overline{apr^{'}}_{R}^{\mathcal{I}}(A) is straightforward from Definition 5.1. To prove \overline{apr^{'}}_{R}^{\mathcal{I}}(A)\subseteq\overline{apr}_{R}^{\mathcal{I}}(A), let x\in\overline{apr^{'}}_{R}^{\mathcal{I}}(A) = (\underline{apr^{'}}_{R}(A^{c}))^{c}; then, x\not\in\underline{apr^{'}}_{R}(A^{c}). Hence, by Definition 5.1, we get < x > \breve{R}\cap A \not\in \mathcal{I}. It follows that x\in \overline{apr}_{R}^{\mathcal{I}}(A). By Theorem 4.3, we have \overline{apr}_{R}^{\mathcal{I}}(A)\subseteq \overline{ \overline{apr}}_{R}^{\mathcal{I}}(A).
Remark 5.4. Example 3.1 (iii) shows that the inclusion and less than relation in Theorem 5.2 cannot be replaced by an equality relation in general. Take A = \{b, c\}; then, \overline{apr^{'}}_{R}^{\mathcal{I}}(A) = \{b, c\} \varsubsetneq \{a, b, c\} = \overline{apr}_{R}^{\mathcal{I}}(A). Moreover, take A = \{a, d\}, then
(1) \underline{apr}_{R}^{\mathcal{I}}(A) = \{d\}\varsubsetneq \{a, d\} = \underline{apr^{'}}_{R}^{\mathcal{I}}(A).
(2) {Boundary^{'}}_{R}^{\mathcal{I}}(A) = \{b, c\} \varsubsetneq \{a, b, c\} = Boundary_{R}^{\mathcal{I}}(A).
(3) Accuracy_{R}^{\mathcal{I}}(A) = \frac{1}{4}\lneq \frac{1}{2} = {Accuracy^{'}}_{R}^{\mathcal{I}}(A).
The following theorem shows that the current approximations in Definition 5.1 constitute an extension and a generalization of the previous Definition 2.6 [11].
Theorem 5.3. Let A \subseteq U, \; \mathcal{I} be an ideal on U and R be a similarity relation on a non-empty set U . Then,
(1) \overline{apr^{'}}_{R}^{\mathcal{I}}(A)\subseteq \overline{apr^{'}}_R(A).
(2) \underline{apr^{'}}_{R}(A) \subseteq \underline{apr^{'}}_{R}^{\mathcal{I}}(A).
(3) {Boundary^{'}}_{R}^{\mathcal{I}}(A)\subseteq {Boundary^{'}}_{R}(A).
(4) {Accuracy^{'}}_{R}(A) \leq {Accuracy^{'}}_{R}^{\mathcal{I}}(A).
Proof. The proof is similar to that of Theorem 3.3.
Remark 5.5. Example 3.3 shows that the inclusion and less than relation in Theorem 5.3 cannot be replaced by an equality relation in general. Take A = \{a, c, d\}; then,
(1) \overline{apr^{'}}_{R_1}^{\mathcal{I}}(A) = \{a, b\}\neq U = \overline{apr}_{R_1}(A).
(2) \underline{apr^{'}}_{R_1}(A) = \{c, d\}\neq U = \underline{apr^{'}}_{R_1}^{\mathcal{I}}(A).
(3) {Boundary^{'}}_{R_{1}}^{\mathcal{I}}(A) = \phi\neq\{a, b\} = {Boundary^{'}}_{R_{1}}(A).
(4) {Accuracy^{'}}_{R_{1}}(A) = \frac{1}{2} \lneq 2 = {Accuracy^{'}}_{R_{1}}^{\mathcal{I}}(A).
6.
Fourth method to obtain generalized rough sets using ideals
The objective of this section is to define the fourth type of the generalized rough approximations. The basic properties of these approximations are constructed and established. Moreover, the comparisons between these approximations and the approximations in Sections 3, 4 and 5 are illustrated. At the end of this section, the relationships between these approximations and the approximations in [11] are presented.
Definition 6.1. Let R be a binary relation on a non-empty set U and \mathcal{I} be an ideal on U . For any subset A \subseteq U, the fourth kind of generalized upper and lower approximations, boundary regions, accuracy and roughness of A using ideal and according to R are respectively defined by
Proposition 6.1. Let A, B \subseteq U, \; \mathcal{I}, \mathcal{J} be two ideals on U and R be a binary relation on U. Then, the following properties hold:
(1) \overline{apr^{''}}_{R}^{\mathcal{I}}(\phi) = \phi.
(2) A\subseteq B\Rightarrow \overline{apr^{''}}_{R}^{\mathcal{I}}(A)\subseteq \overline{apr^{''}}_{R}^{\mathcal{I}}(B).
(3) \overline{apr^{''}}_{R}^{\mathcal{I}}(A\cap B)\subseteq\overline{apr^{''}}_{R}^{\mathcal{I}}(A)\cap\overline{apr^{''}}_{R}^{\mathcal{I}}(B).
(4) \overline{apr^{''}}_{R}^{\mathcal{I}}(A\cup B) = \overline{apr^{''}}_{R}^{\mathcal{I}}(A)\cup \overline{apr^{''}}_{R}^{\mathcal{I}}(B).
(5) \overline{apr^{''}}_{R}^{\mathcal{I}}(A) = (\underline{apr^{''}}_{R}^{\mathcal{I}}(A^{c}))^{c}.
(6) If A\in \mathcal{I}, then \overline{apr^{''}}_{R}^{\mathcal{I}}(A) = \phi.
(7) If \mathcal{I} \subseteq\mathcal{J}, then \overline{apr^{''}}_{R}^{\mathcal{J}}(A)\subseteq \overline{apr^{''}}_{R}^{\mathcal{I}}(A).
(8) If \mathcal{I} = P(U), then \overline{apr^{''}}_{R}^{\mathcal{I}}(A) = \phi.
(9) \overline{apr^{''}}_{R}^{\mathcal{I}\cap \mathcal{J}}(A) = \overline{apr^{''}}_{R}^{\mathcal{I}}(A)\cup \overline{apr^{''}}_{R}^{\mathcal{J}}(A).
(10) \overline{apr^{''}}_{R}^{\mathcal{I}\vee \mathcal{J}}(A) = \overline{apr^{''}}_{R}^{\mathcal{I}}(A)\cap \overline{apr^{''}}_{R}^{\mathcal{J}}(A).
Proof.
(1) \overline{apr^{''}}_{R}^{\mathcal{I}}(\phi) = \cup\{ < x > \breve{R}: < x > \breve{R}\cap \phi\not \in \mathcal{I}\} = \phi.
(2) Let A\subseteq B and x\in \overline{apr^{''}}_{R}^{\mathcal{I}}(A). Then, \exists\; y\in U such that x\in < y > \breve{R} and < y > \breve{R}\cap A\not\in \mathcal{I}. Thus, < y > \breve{R}\cap B\not\in \mathcal{I}. So, x\in \overline{apr^{''}}_{R}^{\mathcal{I}}(B). Consequently, \overline{apr^{''}}_{R}^{\mathcal{I}}(A)\subseteq \overline{apr^{''}}_{R}^{\mathcal{I}}(B).
(3) The proof is immediately by (2).
(4)
(5)
(6) The proof is straightforward by Definition 6.1.
(7) Let \mathcal{I} \subseteq\mathcal{J}, x\in \overline{apr^{''}}_{R}^{\mathcal{J}}(A). Then, \exists\; y\in U such that x\in < y > \breve{R} and < y > \breve{R}\cap A\not\in \mathcal{J}. Thus, < y > \breve{R}\cap A\not\in \mathcal{I} as \mathcal{I} \subseteq\mathcal{J}. So, x\in \overline{apr^{''}}_{R}^{\mathcal{I}}(A). Hence, \overline{apr^{''}}_{R}^{\mathcal{J}}(A)\subseteq \overline{apr^{''}}_{R}^{\mathcal{I}}(A).
(8) The proof is straightforward by Definition 6.1.
(9)
(10)
Proposition 6.2. Let A, B \subseteq U, \; \mathcal{I}, \mathcal{J} be two ideals on U and R be a binary relation on U. Then, the following properties hold:
(1) \underline{apr^{''}}_{R}^{\mathcal{I}}(U) = U.
(2) A\subseteq B\Rightarrow \underline{apr^{''}}_{R}^{\mathcal{I}}(A)\subseteq \underline{apr^{''}}_{R}^{\mathcal{I}}(B).
(3) \underline{apr^{''}}_{R}^{\mathcal{I}}(A)\cup \underline{apr^{''}}_{R}^{\mathcal{I}}(B)\subseteq\underline{apr^{''}}_{R}^{\mathcal{I}}(A\cup B).
(4) \underline{apr^{''}}_{R}^{\mathcal{I}}(A\cap B) = \underline{apr^{''}}_{R}^{\mathcal{I}}(A)\cap\underline{apr^{''}}_{R}^{\mathcal{I}}(B).
(5) \underline{apr^{''}}_{R}^{\mathcal{I}}(A) = (\overline{apr^{''}}_{R}^{\mathcal{I}}(A^{c}))^{c}.
(6) If A^{c}\in \mathcal{I}, then \underline{apr^{''}}_{R}^{\mathcal{I}}(A) = U.
(7) If \mathcal{I} \subseteq\mathcal{J}, then \underline{apr^{''}}_{R}^{\mathcal{I}}(A)\subseteq \underline{apr^{''}}_{R}^{\mathcal{J}}(A).
(8) If \mathcal{I} = P(U), then \underline{apr^{''}}_{R}^{\mathcal{I}}(A) = U.
(9) \underline{apr^{''}}_{R}^{\mathcal{I}\cap \mathcal{J}}(A) = \underline{apr^{''}}_{R}^{\mathcal{I}}(A)\cap \underline{apr^{''}}_{R}^{\mathcal{J}}(A).
(10) \underline{apr^{''}}_{R}^{\mathcal{I}\vee \mathcal{J}}(A) = \underline{apr^{''}}_{R}^{\mathcal{I}}(A)\cup \underline{apr^{''}}_{R}^{\mathcal{J}}(A).
Proof.
(1) \underline{apr^{''}}_{R}^{\mathcal{I}}(U) = (\overline{apr^{''}}_{R}^{\mathcal{I}}(\phi))^{c} = \phi^{c} = U by (1) in Proposition 6.1.
(2) Let A\subseteq B. Thus, B^{c}\subseteq A^{c} and \overline{apr^{''}}_{R}^{\mathcal{I}}(B^{c})\subseteq \overline{apr^{''}}_{R}^{\mathcal{I}}(A^{c}) (by (2) in Proposition 6.1). Then, (\overline{apr^{''}}_{R}^{\mathcal{I}}(A^{c}))^{c}\subseteq (\overline{apr^{''}}_{R}^{\mathcal{I}}(B^{c}))^{c}. So, \underline{apr^{''}}_{R}^{\mathcal{I}}(A)\subseteq \underline{apr^{''}}_{R}^{\mathcal{I}}(B).
(3) The proof is immediately by (2).
(4)
(5) The proof is straightforward by Definition 6.1.
(6) Let A^{c}\in \mathcal{I}; then, \underline{apr^{''}}_{R}^{\mathcal{I}}(A) = (\overline{apr^{''}}_{R}^{\mathcal{I}}(A^{c}))^{c} = (\phi)^{c} = U according to Proposition 6.1 (6).
(7) Let \mathcal{I} \subseteq\mathcal{J}. Then, \overline{apr^{''}}_{R}^{\mathcal{J}}(A^{c})\subseteq \overline{apr^{''}}_{R}^{\mathcal{I}}(A^{c}) according to Proposition 6.1 (7). Thus, (\overline{apr^{''}}_{R}^{\mathcal{I}}(A^{c}))^{c}\subseteq (\overline{apr^{''}}_{R}^{\mathcal{J}}(A^{c}))^{c}. Hence, \underline{apr^{''}}_{R}^{\mathcal{I}}(A)\subseteq \underline{apr^{''}}_{R}^{\mathcal{J}}(A).
(8) Let \mathcal{I} = P(U); then, \underline{apr^{''}}_{R}^{\mathcal{I}}(A) = (\overline{apr^{''}}_{R}^{\mathcal{I}}(A^{c}))^{c} = (\phi)^{c} = U according to Proposition 6.1 (8).
(9)
(10)
Remark 6.1. (1) Example 3.1 (i) shows that the converse of (2) in Propositions 6.1 and 6.2 is not necessarily true in general. Take
(a) A = \{a\} and B = \{d\}; then, \overline{apr^{''}}_{R}^{\mathcal{I}}(A) = \phi and \overline{apr^{''}}_{R}^{\mathcal{I}}(B) = U. Therefore, \overline{apr^{''}}_{R}^{\mathcal{I}}(A)\subseteq \overline{apr^{''}}_{R}^{\mathcal{I}}(B), but A\nsubseteq B.
(b) A = \{b\} and B = \{a, c, d\}; then, \underline{apr^{''}}_{R}^{\mathcal{I}}(A) = \phi and \underline{apr^{''}}_{R}^{\mathcal{I}}(B) = U. Therefore, \underline{apr^{''}}_{R}^{\mathcal{I}}(A)\subseteq \underline{apr^{''}}_{R}^{\mathcal{I}}(B), but A\nsubseteq B.
(2) Example 3.1 (ii) shows that the converse of (6)–(8) in Propositions 6.1 and 6.2 is not necessarily true in general.
(i) For (6), take
(a) A = \{a, d\}; then, \overline{apr^{''}}_{R}^{\mathcal{J}}(A) = \phi. Therefore, \overline{apr^{''}}_{R}^{\mathcal{J}}(A) = \phi, but A\not\in \mathcal{J}.
(b) A = \{b, c\}; then, \underline{apr^{''}}_{R}^{\mathcal{J}}(A) = U. Therefore, \underline{apr^{''}}_{R}^{\mathcal{J}}(A) = U, but A^{c}\not\in \mathcal{J}.
(ii) For (7), take
(a) A = \{a, d\}; then, \overline{apr^{''}}_{R}^{\mathcal{I}}(A) = \{a\} and \overline{apr^{''}}_{R}^{\mathcal{J}}(A) = \phi. Therefore, \overline{apr^{''}}_{R}^{\mathcal{J}}(A)\subseteq \overline{apr^{''}}_{R}^{\mathcal{I}}(A), but \mathcal{I} \nsubseteq \mathcal{J}.
(b) A = \{b, c\}; then, \underline{apr^{''}}_{R}^{\mathcal{I}}(A) = \{b, c, d\} and \underline{apr^{''}}_{R}^{\mathcal{J}}(A) = U. Therefore, \underline{apr^{''}}_{R}^{\mathcal{I}}(A)\subseteq \underline{apr^{''}}_{R}^{\mathcal{J}}(A), but \mathcal{I} \nsubseteq \mathcal{J}.
(iii) For (8), take
(a) A = \{a, d\}; then, \overline{apr^{''}}_{R}^{\mathcal{J}}(A) = \phi, but \mathcal{J}\neq P(U).
(b) A = \{b, c\}; then, \underline{apr^{''}}_{R}^{\mathcal{J}}(A) = U, but \mathcal{J}\neq P(U).
(3) Example 3.1 (iii) shows that the inclusion of (3) in Propositions 6.1 and 6.2 cannot be replaced by an equality relation in general. Take A = \{a, d\} and B = \{b, c\}; then,
(a) \overline{apr^{''}}_{R}^{\mathcal{I}}(A) = \overline{apr^{''}}_{R}^{\mathcal{I}}(B) = U and \overline{apr^{''}}_{R}^{\mathcal{I}}(A\cap B) = \phi. Therefore, \overline{apr^{''}}_{R}^{\mathcal{I}}(A)\cap \overline{apr^{''}}_{R}^{\mathcal{I}}(B) = U\neq \phi = \overline{apr^{'}}_{R}^{\mathcal{I}}(A\cap B).
(b) \underline{apr^{''}}_{R}^{\mathcal{I}}(A) = \underline{apr^{''}}_{R}^{\mathcal{I}}(B) = \phi and \underline{apr^{''}}_{R}^{\mathcal{I}}(A\cup B) = U. Therefore, \underline{apr^{''}}_{R}^{\mathcal{I}}(A)\cup \underline{apr^{''}}_{R}^{\mathcal{I}}(B) = \phi\neq U = \underline{apr^{''}}_{R}^{\mathcal{I}}(A\cup B).
Remark 6.2. There are some properties that are not held or satisfied for the fourth type.
(i) Considering Example 3.1 (i), take
(1) A = \{a\}; then, \overline{apr^{''}}_{R}^{\mathcal{I}}(A) = \phi. Hence, A\nsubseteq \overline{apr^{''}}_{R}^{\mathcal{I}}(A).
(2) A = \{b, c, d\}; then, \underline{apr^{''}}_{R}^{\mathcal{I}}(A) = U. Hence, \underline{apr^{''}}_{R}^{\mathcal{I}}(A) \nsubseteq A.
(ii) Considering Example 3.1 (ii), take
(1) A = U; then, \overline{apr^{''}}_{R}^{\mathcal{I}}(U) = \{a, b, c\}. Hence, \overline{apr^{''}}_{R}^{\mathcal{I}}(U)\neq U.
(2) A = \phi; then, \underline{apr^{''}}_{R}^{\mathcal{I}}(\phi) = \{d\}. Hence, \underline{apr^{''}}_{R}^{\mathcal{I}}(\phi)\neq \phi.
Theorem 6.1. Let A \subseteq U, \; \mathcal{I}, \mathcal{J} be two ideals on U and R be a binary relation on U. If \mathcal{I}\subseteq\mathcal{J}, then
(1) {Boundary^{''}}_{R}^{\mathcal{J}}(A)\subseteq {Boundary^{''}}_{R}^{\mathcal{I}}(A).
(2) {Accuracy^{''}}_{R}^{\mathcal{I}}(A)\leq {Accuracy^{''}}_{R}^{\mathcal{J}}(A).
Proof. Similar to Theorem 3.1.
Remark 6.3. Example 3.1 (ii) shows that the converse of (1) and (2) in Theorem 6.1 is not necessarily true in general. Take A = \{b, c\}; then,
(1) {Boundary^{''}}_{R}^{\mathcal{J}}(A) = \phi\subseteq \phi = {Boundary^{''}}_{R}^{\mathcal{I}}(A), but \mathcal{I}\nsubseteq\mathcal{J}.
(2) {Accuracy^{''}}_{R}^{\mathcal{I}}(A) = \frac{3}{2} < 2 = {Accuracy^{''}}_{R}^{\mathcal{J}}(A), but \mathcal{I}\nsubseteq\mathcal{J}.
Theorem 6.2. Let \phi\neq A \subseteq U, \; \mathcal{I} be an ideal on U and R_1, R_2 be two binary relations on U. If R_1\subseteq R_2 , then
(1) \overline{apr^{''}}_{R_1}^{\mathcal{I}}(A)\subseteq \overline{apr^{''}}_{R_2}^{\mathcal{I}}(A).
(2) \underline{apr^{''}}_{R_2}^{\mathcal{I}}(A)\subseteq \underline{apr^{''}}_{R_1}^{\mathcal{I}}(A).
(3) {Boundary^{''}}_{R_{1}}^{\mathcal{I}}(A)\subseteq {Boundary^{''}}_{R_{2}}^{\mathcal{I}}(A).
(4) {Accuracy^{''}}_{R_{2}}^{\mathcal{I}}(A)\leq {Accuracy^{''}}_{R_{1}}^{\mathcal{I}}(A).
Proof.
(1) Let x\in \overline{apr^{''}}_{R_1}^{\mathcal{I}}(A). Then, \exists\; y\in U such that x\in < y > \breve{R_{1}} \cap A \not\in \mathcal{I}. Since < y > \breve{R_{1}} \subseteq < y > \breve{R_{2}} (by Theorem 2.1 [7]), it follows that x\in < y > \breve{R_{2}} \cap A \not\in \mathcal{I}. Thus, x\in \overline{apr^{''}}_{R_2}^{\mathcal{I}}(A). Hence, \overline{apr^{''}}_{R_1}^{\mathcal{I}}(A)\subseteq \overline{apr^{''}}_{R_2}^{\mathcal{I}}(A).
(2) x\in \underline{apr^{''}}_{R_2}^{\mathcal{I}}(A) = (\overline{apr^{''}}_{R_2}^{\mathcal{I}}(A^{c}))^{c} \subseteq(\overline{apr^{''}}_{R_1}^{\mathcal{I}}(A^{c}))^{c}\; \text{(according to (1))} = \underline{apr^{''}}_{R_1}^{\mathcal{I}}(A).
(3) Let x\in {Boundary^{''}}_{R_{1}}^{\mathcal{I}}(A). Then, x \in \overline{apr^{''}}_{R_{1}}^{\mathcal{I}}(A)-\underline{apr^{''}}_{R_{1}}^{\mathcal{I}}(A). So, x \in \overline{apr^{''}}_{R_{1}}^{\mathcal{I}}(A) and x\in (\underline{apr^{''}}_{R_{1}}^{\mathcal{I}}(A))^{c}. Thus, x \in \overline{apr^{''}}_{R_{2}}^{\mathcal{I}}(A) and x\in (\underline{apr^{''}}_{R_{2}}^{\mathcal{I}}(A))^{c} according to (1) and (2). Hence, x\in {Boundary^{''}}_{R_{2}}^{\mathcal{I}}(A). Therefore, {Boundary^{''}}_{R_{1}}^{\mathcal{I}}(A)\subseteq {Boundary^{''}}_{R_{2}}^{\mathcal{I}}(A).
(4) {Accuracy^{''}}_{R_{2}}^{\mathcal{I}}(A) = |\frac{\underline{apr^{''}}_{R_2}^{\mathcal{I}}(A)}{\overline{apr^{''}}_{R_2}^{\mathcal{I}}(A)}| \leq |\frac{\underline{apr^{''}}_{R_1}^{\mathcal{I}}(A)}{\overline{apr^{''}}_{R_1}^{\mathcal{I}}(A)}| = {Accuracy^{''}}_{R_{1}}^{\mathcal{I}}(A).
Remark 6.4. Example 3.3 shows that the inclusion and less than relation in Theorem 6.2 cannot be replaced by an equality relation in general. Take
(i) A = \{a, d\}; then,
(1) \overline{apr^{''}}_{R_{1}}^{\mathcal{I}}(A) = \{a, b\}\neq\{a, b, c\} = \overline{apr^{''}}_{R_{2}}^{\mathcal{I}}(A).
(2) {Accuracy^{''}}_{R_{1}}^{\mathcal{I}}(A) = 2\neq \frac{4}{3} = {Accuracy^{''}}_{R_{2}}^{\mathcal{I}}(A).
(ii) A = \{b, c\}; then, \underline{apr^{''}}_{R_{1}}^{\mathcal{I}}(A) = \{c, d\}\neq \{d\} = \underline{apr^{''}}_{R_{2}}^{\mathcal{I}}(A).
Theorem 6.3. Let A \subseteq U, \; \mathcal{I} be an ideal on U and R be a reflexive relation on U. Then,
(1) \underline{apr^{''}}_{R}^{\mathcal{I}}(A)\subseteq \underline{apr}_{R}^{\mathcal{I}}(A)\subseteq \underline{apr^{'}}_{R}^{\mathcal{I}}(A)\subseteq A\subseteq\ \overline{apr^{'}}_{R}^{\mathcal{I}}(A)\subseteq\overline{apr}_{R}^{\mathcal{I}}(A)\subseteq \overline{apr^{''}}_{R}^{\mathcal{I}}(A).
(2) {Boundary^{'}}_{R}^{\mathcal{I}}(A)\subseteq Boundary_{R}^{\mathcal{I}}(A)\subseteq {Boundary^{''}}_{R}^{\mathcal{I}}(A).
(3) {Accuracy^{''}}_{R}^{\mathcal{I}}(A)\leq Accuracy_{R}^{\mathcal{I}}(A)\leq {Accuracy^{'}}_{R}^{\mathcal{I}}(A).
Proof. By Theorem 5.2, we have \underline{apr}_{R}^{\mathcal{I}}(A)\subseteq \underline{apr^{'}}_{R}^{\mathcal{I}}(A)\subseteq A\subseteq\ \overline{apr^{'}}_{R}^{\mathcal{I}}(A)\subseteq\overline{apr}_{R}^{\mathcal{I}}(A). To prove \underline{apr^{''}}_{R}^{\mathcal{I}}(A)\subseteq \underline{apr}_{R}^{\mathcal{I}}(A), let x\in \underline{apr^{''}}_{R}^{\mathcal{I}}(A) = \overline{apr^{''}}_{R}^{\mathcal{I}}(A^{c})^{c}. Then, x\not\in \overline{apr^{''}}_{R}^{\mathcal{I}}(A^{c}). Thus, by Definition 6.1, < x > \breve{R} \cap A^{c}\in \mathcal{I}. It follows that < x > \breve{R}\subseteq \underline{apr}_{R}^{\mathcal{I}}(A). Since R is a reflexive relation, it follows that x\in < x > \breve{R}\subseteq \underline{apr}_{R}^{\mathcal{I}}(A). Therefore, x\in\underline{apr}_{R}^{\mathcal{I}}(A). To prove \overline{apr}_{R}^{\mathcal{I}}(A)\subseteq \overline{apr^{''}}_{R}^{\mathcal{I}}(A), let x\in \overline{apr}_{R}^{\mathcal{I}}(A), then < x > \breve{R} \cap A\not\in \mathcal{I}. It follows that < x > \breve{R}\subseteq \overline{apr^{''}}_{R}^{\mathcal{I}}(A). Since R is a reflexive relation, it follows that x\in < x > \breve{R}\subseteq \overline{apr^{''}}_{R}^{\mathcal{I}}(A). Therefore, x\in\overline{apr^{''}}_{R}^{\mathcal{I}}(A).
Remark 6.5. Example 3.1 (iii) shows that the inclusion and less than relation in Theorem 6.3 cannot be replaced by an equality relation in general. Take A = \{b, c\}; then, \overline{apr}_{R}^{\mathcal{I}}(A) = \{a, b, c\}\varsubsetneq U = \overline{apr^{''}}_{R}^{\mathcal{I}}(A). Moreover, take A = \{a, d\}; then,
(1) \underline{apr^{''}}_{R}^{\mathcal{I}}(A) = \phi \varsubsetneq \{d\} = \underline{apr}_{R}^{\mathcal{I}}(A).
(2) Boundary_{R}^{\mathcal{I}}(A) = \{a, b, c\} \varsubsetneq U = {Boundary^{''}}_{R}^{\mathcal{I}}(A).
(3) {Accuracy^{''}}_{R}^{\mathcal{I}}(A) = 0\lneq \frac{1}{4} = Accuracy_{R}^{\mathcal{I}}(A).
Remark 6.6. From the above results, it is noted that there are different methods to approximate the sets. The best of these methods is the third type explained in Section 5, as the boundary regions in this case are more effectively reduced (or canceled) by increasing the lower approximations and decreasing the upper approximations as compared to the other types in the other sections. Moreover, the accuracy is higher than the other types.
Theorem 6.4. Let A \subseteq U, \; \mathcal{I} be an ideal on U and R be a similarity relation on a non-empty set U . Then,
(1) \overline{apr^{''}}_{R}^{\mathcal{I}}(A)\subseteq \overline{apr^{''}}_R(A).
(2) \underline{apr^{''}}_{R}(A) \subseteq \underline{apr^{''}}_{R}^{\mathcal{I}}(A).
(3) {Boundary^{''}}_{R}^{\mathcal{I}}(A)\subseteq {Boundary^{''}}_{R}(A).
(4) {Accuracy^{''}}_{R}(A) \leq {Accuracy^{''}}_{R}^{\mathcal{I}}(A).
Proof. The proof is similar to that of Theorem 3.3.
Remark 6.7. Example 3.3 shows that the inclusion and less than relation in Theorem 6.4 cannot be replaced by an equality relation in general. Take A = \{a, c, d\}; then,
(1) \overline{apr^{''}}_{R_1}^{\mathcal{I}}(A) = \{a, b, d\}\neq U = \overline{apr^{''}}_{R_1}(A).
(2) \underline{apr^{''}}_{R_1}(A) = \{c, d\}\neq U = \underline{apr^{''}}_{R_1}^{\mathcal{I}}(A).
(3) {Boundary^{''}}_{R_{1}}^{\mathcal{I}}(A) = \phi\neq\{a, b\} = {Boundary^{''}}_{R_{1}}(A).
(4) {Accuracy^{''}}_{R_{1}}(A) = \frac{1}{2} \lneq \frac{4}{3} = {Accuracy^{''}}_{R_{1}}^{\mathcal{I}}(A).
Tables 1 and 2 summarize the differences among the properties of the proposed four methods.
7.
Medical applications
The central goal of this section is to apply the suggested techniques to real-life problems, especially in the domain of medical diagnosis, where more precise decisions are needed. Therefore, the features of the proposed approximations in terms of ideals are scrutinized for two different medical applications. These applications prove the adequacy of the generalization of rough sets using ideals to treat and model a lot of real-life issues. It is shown that the application of ideals to the rough set theory helps to remove the uncertainty and vagueness in data.
Example 7.1. Medical application: Decision-making for COVID-19
The purpose of this example is to demonstrate the significance of the current approximations in obtaining the best tools to identify the decisive factors of infections for COVID-19 in humans. The information in Table 3 was collected by the World Health Organization as well as through medical groups specializing in COVID-19 [15]. It was taken from 1000 patients and reduced to 10 patients because the attributes in rows (objects) are identical. So, the set of objects is
The most common symptoms (set of attributes) of COVID-19 are as follows:
\{ Difficulty breathing = a_1, Chest pain = a_2, Headache = a_3, Dry cough = a_4, High Temperature = a_5, Loss of smell or taste = a_6\} and Decision COVID-19 = \{d\}, as shown in Table 3.
From Table 3, the symptoms are given as follows:
and
Hence, the similarity relation is given as follows: p_i\mathcal{R}p_j\Leftrightarrow\mathcal{V}(p_i)\cap\mathcal{V}(p_j)\neq\phi. Consequently,
thus,
Let
Hence, Table 3 represents a decision system; thus, the patients with confirmed infections for COVID-19 are surely A = \{p_1, p_2, p_6, p_7, p_9, p_{10}\} . Then,
(1) By the previous approximations [11], the first (second/third) kind of lower and upper approximations, boundary regions and accuracy of A are respectively \phi, U, U and 0. This means that the patients p_1, p_2, p_6, p_7, p_9 and p_{10} are not infected with COVID-19, which contradicts the decision system in Table 3. Therefore, we are unable to decide whether the patient is infected with COVID-19 and this produced vagueness in the medical diagnosis decision-making process. Consequently, Dai et al.'s methods [11] are not suitable for obtaining an accurate decision.
(2) According to the proposed second type, the lower and upper approximations, boundary regions and accuracy of A are respectively A, U, \{p_3, p_4, p_5, p_8\} and \frac{6}{10}. This means that the patients p_1, p_2, p_6, p_7, p_9 and p_{10} are surely infected with COVID-19 according to the present technique which is consistent with Table 3. Accordingly, the vagueness is reduced in the data and the accuracy measure is increased.
Example 7.2. Medical application: Decision-making for a heart attack problem
In this example the proposed methods are applied to decision-making for heart attacks. The data set in Table 4 was obtained from Al-Azhar University's cardiology department [10] (Hospital of Sayed Glal University, Cairo, Egypt). Table 4 represents the set of objects (patients) as
It was reduced to \{p_1, p_2, p_3, p_4, p_5, p_8, p_9\} because the attributes in rows (objects) are identical. The study included patients with different symptoms, i.e., the set of attributes = \{ Breathlessness = a_1, Orthopnea = a_2, Paroxysmal nocturnal dyspnea = a_3, Reduced exercise tolerance = a_4, Ankle swelling = a_5\} and decision of heart attacks is confirmed or ruled out = \{d\} as shown in Table 4.
Therefore, from Table 4, the symptoms are given as follows: \mathcal{V}(p_1) = \{a_1, a_2, a_3, a_4\}, \mathcal{V}(p_2) = \{a_4, a_5\}, \mathcal{V}(p_3) = \{a_1, a_2, a_3, a_4, a_5\}, \mathcal{V}(p_4) = \{a_4\}, \mathcal{V}(p_5) = \{a_1, a_4, a_5\}, \mathcal{V}(p_8) = \{a_1, a_2, a_4, a_5\} and \mathcal{V}(p_9) = \{a_1, a_3, a_4\}.
Hence, the following binary relation is obtained: p_i\mathcal{R}p_j\Leftrightarrow\mathcal{V}(p_i)\subsetneq\mathcal{V}(p_j). Consequently,
thus,
Let
Thus, Table 4 represents a decision system and the patients with confirmed heart attacks were surely A = \{p_1, p_3, p_8, p_9\}. Thus, we respectively computed the approximations, the boundary and the accuracy measure of A to be as follows:
(1) The first (second/third) kind in Dai et al.'s approach [11] yielded \{p_4\}, \{p_1, p_2, p_3, p_5, p_8, p_9\}, \{p_1, p_2, p_3, p_5, p_8, p_9\} and \frac{1}{6} which means that A is a rough set according to the Dai technique. Further, the patients p_4 and p_6 experienced heart attacks, which contradicts the decision system in Table 4. Therefore, we are unable to decide whether the patient has experienced a heart attack.
(2) The second kind in the present approach yield A, \{p_1, p_2, p_3, p_5, p_8, p_9\}, \{p_2, p_5\} and \frac{4}{6}. This means that the patients \{p_1, p_3, p_8, p_9\} surely experienced heart attack according to the proposed technique which is consistent with Table 4. Additionally, the boundary region is reduced and the accuracy measure is increased.
Remark 7.1. It should be noted that
(1) The relation is identified according to the viewpoint of the system's experts.
(2) Dai et al.'s approximations [11] satisfy some properties of the basic properties of the rough set when the relation is a binary relation. Meanwhile, the reminders of the properties are achieved only if the relation is a similarity relation.
(3) The present techniques extend the applicability of rough sets. The similarity relations do not always hold for many real-life applications; consequently this restriction limits the application of this set.
8.
Conclusions
This work combines two disciplines, namely, rough set theory and ideals. Rough set theory deals with vagueness and imperfect knowledge by using the lower and upper approximations, whereas an ideal is a fundamental concept in topological spaces that plays an important role in the study of the generalization of rough sets. Since the advent of the ideals, several research papers with interesting results in different respects has come to existence. In view of the recent applications of ideals in rough set theory, it seems very natural to extend the interesting concept of the rough set further by using ideals as done here. So, in this study different methods dependent on ideals and the maximal right neighborhood which was generated by binary relations, were proposed to approximate the sets. The use of ideals made the boundary region smaller; consequently, the accuracy measure was higher than that achieved through the use of Dai et al.'s approximations [11], which depended only on the maximal neighborhood generated by similarity relations. Hence, the present approach was a generalization of Dai et al.'s approach [11]. The basic properties of the current methods were studied. More importantly, it was proved for three of the current methods that the corresponding lower and upper approximations, boundary regions, accuracy measures and roughness measures were monotonic. Moreover, to add strength and make the current work vivid two medical applications were proposed to illustrate the main idea of the present results. The present techniques were successful and powerful techniques to reduce the boundary region and improve the accuracy measure. They allowed the medical staff to decide the impact factors of COVID-19 infections and heart attacks. They handled any imperfect data for symptoms of the diseases and this automatically made the diagnosis of patients easy and accurate. Consequently, this can help the medical staff to make a precise decision about the diagnosis of patients.
In upcoming works, we will
(1) Study new types of approximations resulting from neighborhoods and ideals.
(2) Search how these approximations can be applied to model real-life issues.
(3) Investigate the concepts and results presented here to generalize rough multisets using multisets ideals.
Acknowledgments
The author extends her appreciation to the Deanship of Scientific Research at King Khalid University for funding this work through a research groups program under grant (R. G. P. 2/144/43). She would also like to express her sincere thanks to the editor and anonymous reviewers for their valuable comments and suggestions that have helped immensely in improving the quality of the paper.
Conflict of interest
This work does not have any conflicts of interest.