# New Rough Set Approximation Spaces

Authors: H. M. Abu-Donia
Journal: Abstract and Applied Analysis
 (2013)

---

## Abstract

Rough set theory was introduced by Pawlak in 1982 to handle imprecision, vagueness, and uncertainty in data analysis. Our aim is to generalize rough set theory by introducing concepts of⋀β-lower and ⋀β-upper approximations which depends on the concept of ⋀β-sets. Also, we study some of their basic properties.


---

## Body

## 1. Introduction

Pawlak is credited with creating the “rough set theory” [1], a mathematical tool for dealing with vagueness or uncertainty. Since 1982, the theory and applications of rough set have impressively developed. There are many applications of rough set theory especially in data analysis, artificial intelligence, and cognitive sciences [2–4]. Some basic aspects of the research of rough sets and several applications have recently been presented by Pawlak and Skowron [5, 6]. Rough set theory [5–8] is an extension of set theory in which a subset of a universe is described by a pair of ordinary sets called the lower and upper approximation. Yao [9] classified broadly methods for the development of rough set theory into two classes, namely, the constructive and axiomatic (algebraic) approaches. In constructive methods, lower and upper approximations are constructed from the primitive notions, such as equivalence relations on a universe and neighborhood systems. In rough sets, the equivalence classes are the building blocks for the construction of the lower and upper approximations. The lower approximation of a given set is the union of all the equivalence classes which are subsets of the set, and the upper approximation is the union of all the equivalence classes which have a nonempty intersection with the set. It is well known that a partition induces an equivalence relation on a set and vice versa. The properties of rough sets can thus be examined via either partition or equivalence classes. Rough sets are a suitable mathematical model of vague concepts. The main idea of rough sets corresponds to the lower and upper approximations. Pawlak’s definitions for lower and upper approximations were originally introduced with reference to an equivalence relation. Many interesting properties of the lower and upper approximations have been derived by  Pawlak and Skowron [5, 6] based on the equivalence relations. However, the equivalence relation appears to be a stringent condition that may limit the applicability of Pawlak’s rough set model. Many extensions have been made in recent years by replacing equivalence relation or partition by notions such as binary relations [10–12], neighborhood systems, and Boolean algebras [12–16]. Abu-Donia [17] discussed three types of upper (lower) approximations depending on the right neighborhood by using general relation, also generalized this types by using a family of finite binary relations in two ways. Many proposals have been made for generalizing and interpreting rough sets [4, 18–25]. In 1983, Abd El-Monsef et al. [26] introduced the concept of β-open sets. In 1986, Maki [27] has introduced the concept of ⋀-sets in topological spaces as the sets that coincide with their kernel. The kernel of a set A is the intersection of all open supersets of A. In 2004, Noiri and Hatir [28] introduced the ⋀sp-sets (or ⋀β-sets) and investigated some of their properties. In 2008, Abu-Donia and Salama [29] introduced and investigated the concept of β-approximation space. The theory of rough sets can be generalized in several directions. Within the set-theoretic framework, generalizations of the element based definition can be obtained by using nonequivalence binary relations [9, 23, 30–32], generalizations of the granule based definition can be obtained by using coverings [12, 30, 33–35], and generalizations of subsystem based definition can be obtained by using other subsystems [36, 37]. In the standard rough set model, the same subsystem is used to define lower and upper approximation operators. When generalizing the subsystem based definition, one may use two subsystems, one for the lower approximation operator and the other for the upper approximation operator. Yao [24] defined a pair of generalized approximation operators by replacing the equivalence relations with the family of open sets for lower approximation operator "interior operators" and the equivalence relations with the family of closed sets for upper approximation operator “closure operators”. In this paper we used a new subsystem called ⋀β-sets to define new types of lower and upper approximation operators, called ⋀β-lower approximation and ⋀β-upper approximation. We study ⋀β-rough sets, the comparison between this concept and rough sets is studied. Also, we give some counter examples.


## 2. Basic Concepts

A topological space [10] is a pair (X,τ) consisting of a set X and family τ of subset of X satisfying the following conditions:(1)ϕ,X∈τ,(2)τ is closed under arbitrary union,(3)τ is closed under finite intersection.The pair(X,τ) is called a topological space, the elements of X are called points of the space, the subsets of X belonging to τ are called open sets in the space, and the complement of the subsets of X belonging to τ are called closed set. The family τ of open subsets of X is also called a topology for X.A
¯
=
⋂
‍
{
F
⊆
X
:
A
⊆
F
and
F
is
closed
} is called τ-closure of a subset A⊂X.Evidently,A¯ is the smallest closed subset of X which contains A. Note that A is closed if and only if A=A¯.A
∘
=
⋃
‍
{
G
⊆
X
:
G
⊆
A
and
G
is
open
} is called the τ-interior of a subset A⊆X.Evidently,A∘ is the union of all open subsets of X which containing in A. Note that A is open if and only if A=A∘. And b(A)=A¯-A∘ is called the τ-boundary of a subset A⊆X.LetA be a subset of a topological spaces (X,τ). Let A¯, A∘ and b(A) be closure, interior, and boundary of A, respectively. A is exact if b(A)=ϕ, otherwise A is rough. It is clear A is exact if and only if A¯=A∘.Definition 1 (see [26]).
A subsetA of a topological space (X,τ) is called β-open if A⊆(A¯)∘¯.
The complement ofβ-open set is called β-closed set. We denote the family of all β-open (resp., β-closed) sets by βO(X) (resp., βC(X)).Remark 2.
For any topological space(X,τ), we have τ⊆βO(X)Definition 3 (see [28]).
LetA be a subset of a topological space (X,τ). A subset ⋀β(A) is defined as follows: ⋀β(A)=∩{G:A⊆G,G∈βO(X)}.
The complement of⋀β(A)-set is called ⋁β(A)-set.
Noiri and Hater [28] stated some properties of  ⋀β(A) in the following lemma.Lemma 4.
For subsetsA,B, and Aα (α∈Δ) of a topological space (X,τ), the following hold. (1)
A⊆⋀β(A).(2)
IfA⊂B, then ⋀β(A)⊆⋀β(B).(3)
⋀β(⋀β(A))=⋀β(A).(4)
IfA∈βO(X), A=⋀β(A).(5)
⋀β(⋃‍{Aα:α∈Δ})=⋃‍{⋀β(Aα):α∈Δ}.(6)
⋀β(⋂‍{Aα:α∈Δ})⊆⋂‍{⋀β(Aα):α∈Δ}.Definition 5.
A subsetA of a topological space (X,τ) is called ⋀β-set if A=⋀β(A).Lemma 6.
For subsetsA and Aα,α∈Δ of a topological space (X,τ), the following hold. (1)
⋀β(A) is ⋀β-set.(2)
IfA is β-open, then A is ⋀β-set.(3)
IfAa is ⋀β-set for each α∈Δ, then ⋃α∈ΔAa is ⋀β-set.(4)
IfAa is ⋀β-set for each α∈Δ, then ⋂α∈ΔAa is ⋀β-set.Definition 7.
Let(X,τ) be a topological space the subset A⊆X is called: (1)
α-open [38] if ⊆A∘¯∘,(2)
Preopen [39] if ⊆(A¯)∘.Remark 8.
the class of all⋀β-sets is stronger than open (resp., α-open, preopen, and β-open) sets as shown in the following diagram:
(1)Open→α-open→Preopen→β-open→⋀β-set.
Motivation for rough set theory has come from the need to represent subsets of a universe in terms of equivalence classes of a partition of that universe. The partition characterizes a topological space, called approximation spaceK=(X,R), where X is a set called the universe and R is an equivalence relation [2]. The equivalence classes of R are also known as the granules, elementary sets, or blocks; we will use Rx⊆X to denote the equivalence class containing x∈X. In the approximation space, we consider two operators
(2)R¯(A)={x∈X:Rx∩A≠ϕ},R_(A)={x∈X:Rx⊆A},
called the lower approximation and upper approximation of A⊆X, respectively. Also let POSR(A)=R_(A) denote the positive region of A, NEGR(A)=X-R¯(A) denote the negative region of A and BNR(A)=R¯(A)-R_(A) denote the borderline region of X.
LetX be a finite nonempty universe, A⊆X, the degree of completeness can also be characterized by the accuracy measure as follows: (3)αR(A)=|R_(A)||R¯(A)|,A≠ϕ,
where |·| represents the cardinality of set. Accuracy measures try to express the degree of completeness of knowledge. αR(A) is able to capture how large the boundary region of the data sets is; however, we cannot easily capture the structure of the knowledge. A fundamental advantage of rough set theory is the ability to handle a category that cannot be sharply defined given a knowledge base. Characteristics of the potential data sets can be measured through the rough sets framework. We can measure inexactness and express topological characterization of imprecision with the following.(1)
IfR_(A)≠ϕ and R¯(A)≠X, then A is roughly R-definable.(2)
IfR_(A)=ϕ and R¯(A)≠X, then A is internally R-undefinable.(3)
IfR_(A)≠ϕ and R¯(A)=X, then A is externally R-undefinable.(4)
IfR_(A)=ϕ and R¯(A)=X, then A is totally R-undefinable.
We denote the set of all roughlyR-definable (resp., internally R-undefinable, externally R-undefinable, and totally R-undefinable) sets by RD(X) (resp., IUD(X), EUD(X), and TUD(X)).
WithαR(A) and classifications above we can characterize rough sets by the size of the boundary region and structure. Rough sets are treated as a special case of relative sets and integrated with the notion of Belnap’s logic [22].Remark 9.
We denote the relation which used to get a subbase for a topologyτ on X and a class of β-open sets (βO(X)) by Rβ. Also, we denote β-approximation space by (X,Rβ).Definition 10.
Let(X,Rβ) be a β-approximation space β-lower (resp., β-upper) approximation of any nonempty subset A of X is defined as: R_β(A)=⋃‍{G∈βO(X):G⊆A},R¯β(A)=⋂‍{F∈βC(X):F⊇A}.We can get the the β-approximation operator as follows.(1)
Get the right neighborhoodsxR from the given relation R as xR={y:xRy}.(2)
Using right neighborhoodsxR as a sub-base to get the topology τ.(3)
Using the open sets in the topologyτ to get the family of β-open sets “from Definition 1.”(4)
Using the set of allβ-open sets to get β-approximation operators (from Definition 10).Definition 11.
Let(X,Rβ) be a β-approximation space and A⊆X. Then there are memberships ∈_, ∈-, ∈_β, and ∈¯β, say, strong, weak, β-strong, and β-weak memberships respectively which defined by (1)
x∈_A iff x∈R_(A),(2)
x∈¯A iff x∈R¯(A),(3)
x∈_βA iff x∈R_β(A),(4)
x∈¯βA iff x∈R¯β(A).Remark 12.
According to Definition11, β-lower and β-upper approximations of a set A⊆X can be written as R_β(A)={x∈A:x∈_βA},R¯β(A)={x∈A:x∈¯βA}.Definition 13.
Let(X,Rβ) be a β-approximation space and A⊆X. the β-accuracy measure of A defined as follows:
(4)αRβ(A)=|R_β(A)||R¯β(A)|,A≠ϕ.Definition 14.
Let(X,Rβ) be a β-approximation space, the set A⊆X is called (1)
roughlyRβ-definable, if R_β(A)≠ϕ and R¯β(A)≠X,(2)
internallyRβ-undefinable, if R_β(A)=ϕ and R¯β(A)≠X,(3)
externallyRβ-undefinable, if R_β(A)≠ϕ and R¯β(A)=X,(4)
totallyRβ-undefinable, if R_β(A)=ϕ and R¯β(A)=X.
We denote the set of all roughlyRβ-definable (resp., internally Rβ-undefinable, externally Rβ-undefinable, and totally Rβ-undefinable) sets by βRD(X) (resp., βIUD(X), βEUD(X) and βTUD(X)).Remark 15.
For anyβ-approximation space (X,Rβ) the following hold: (1)
βRD(X)⊇RD(X),(2)
βIUD(X)⊆IUD(X),(3)
βEUD(X)⊆EUD(X),(4)
βTUD(X)⊆TUD(X).


## 3. A New Type of Rough Classification Based on⋀β-Sets

In this section, we introduced and investigated the concept of⋀β-approximation space. Also, we introduce the concepts of ⋀β-lower approximation and ⋀β-upper approximation for any subset and study their properties.Remark 16.
We denote the relation which used to get a subbase for a topologyτ on X and a class of ⋀β-sets by R∧β. Also, we denote⋀β-approximation space by (X,R∧β).Example 17.
LetX={a,b,c,d} be a universe and a relation R∧β defined by R∧β={(a,a),(a,c),(a,d),(b,b),(b,d),(c,a),(c,b),(c,d),(d,a)}, thus aR∧β={a,c,d}, bR∧β={b,d}, cR∧β={a,b,d}, and dR∧β={a}. Then the topology associated with this relation is τ={X,ϕ,{a},{d}{a,d},{b,d},{a,b,d},{a,c,d}} and ⋀β-sets = {X,ϕ,{a},{c},{d},{a,c}{a,d},{b,d},{c,d},{a,b,d},{a,c,d},{b,c,d}}. So (X,R∧β) is a ⋀β-approximation space.Definition 18.
Let(X,R∧β) be a ⋀β-approximation space. ⋀β-lower approximation and ⋀β-upper approximation of any nonempty subset A of X is defined as ⋀_β(A)=⋃‍{G:Gis⋀β-set,G⊆A},⋀¯β(A)=⋂‍{F:Fis⋁β-set,F⊇A}.
The following proposition shows the properties of⋀β-lower approximation and ⋀β-upper approximation of any nonempty subset.Proposition 19.
Let(X,R∧β) be a ⋀β-approximation space and A,B⊆X. Then: (1)
⋀_β(A)⊆A⊆⋀¯β(A),(2)
⋀_β(ϕ)=⋀¯β(ϕ)=ϕ, ⋀_β(X)=⋀¯β(X)=X,(3)
IfA⊆Bthen⋀_β(A)⊆⋀_β(B)and⋀¯β(A)⊆⋀¯β(B),(4)
⋀_β(X∖A)=X∖⋀¯β(A),(5)
⋀¯β(X∖A)=X∖⋀_β(A),(6)
⋀_β(⋀_β(A))=⋀_β(A),(7)
⋀¯β(⋀¯β(A))=⋀¯β(A),(8)
⋀_β(⋀_β(A))⊆⋀¯β(A)),(9)
⋀_β(⋀¯β(A))⊆⋀¯β(⋀¯β(A)),(10)
⋀_β(A∪B)⊇⋀_β(A)∪⋀_β(B),(11)
⋀¯β(A∪B)⊇⋀¯β(A)∪⋀¯β(B),(12)
⋀_β(A∩B)⊆⋀_β(A)∩⋀_β(A),(13)
⋀¯β(A∩B)⊆⋀¯β(A)∩⋀¯β(B).Definition 20.
Let(X,R∧β) be a ⋀β-approximation space. The Universe X can be divided into 24 regions with respect to any A⊆X as follows. (1)
The internal edg ofA, Edg_(A)=A-R_(A).(2)
Theβ-internal edg of A, βEdg_(A)=A-R_β(A).(3)
The⋀β-internal edg of A, ⋀βEdg_(A)=A-⋀_β(A).(4)
The external edg ofA, Edg¯(A)=R¯(A)-A.(5)
Theβ-external edg of A, βEdg¯(A)=R¯β(A)-A.(6)
The⋀β-external edg of A, ⋀βEdg¯(A)=⋀¯β(A)-A.(7)
The boundary ofA, b(A)=R¯(A)-R_(A).(8)
Theβ-boundary of A, βb(A)=R¯β(A)-R_β(A).(9)
The⋀β-boundary of A, ⋀βb(A)=⋀¯β(A)-⋀_β(A).(10)
The exterior ofA, ext(A)=X-R¯(A).(11)
Theβ-exterior of A, βext(A)=X-R¯β(A).(12)
The⋀β-exterior of A, ⋀βext(A)=X-⋀¯β(A).(13)
R¯(A)-R_β(A).(14)
R¯(A)-⋀_β(A).(15)
R¯(A)-⋀¯β(A).(16)
R¯β(A)-R_(A).(17)
R
¯
β
(
A
)
-
⋀
_
β
(
A
)
(18)
R
¯
β
(
A
)
-
⋀
¯
β
(
A
).
(19)
R
_
β
(
A
)
-
R
_
β
(
A
).
(20)
⋀
¯
β
(
A
)
-
R
_
β
(
A
).
(21)
⋀
¯
β
(
A
)
-
R
_
(
A
).
(22)
⋀
_
β
(
A
)
-
R
_
β
(
A
).
(23)
⋀
_
β
(
A
)
-
R
_
(
A
).
(24)
R
¯
(
A
)
-
R
¯
β
(
A
).Remark 21.
As shown in Figure1, the study of ⋀_β-approximation spaces is a generalization for study of approximation spaces. Because of the elements of the regions [R_β(A)-R_(A)], [⋀_β(A)-R_β(A)], and [⋀_β(A)-R_(A)] will be defined well in A, while this points was undefinable in Pawlak’s approximation spaces. Also, the elements of the region [R¯(A)-⋀_β(A)], [R¯β(A)-⋀¯β(A)], and [R¯(A)-R¯β(A)] do not be belong to A, while these elements was not well defined in Pawlak’s approximation spaces.Figure 1Figure1 shows the above 24 regions.Theorem 22.
For any topological space(X,τ) generated by a binary relation R on X, we have, R_(A)⊆R_β(A)⊆⋀_β(A)⊆A⊆⋀¯β(A)⊆R¯β(A)⊆R¯(A).Proof.
R
_
(
A
)
=
⋃
‍
{
G
∈
τ
:
G
⊆
A
}
⊆
⋃
‍
{
G
∈
β
O
(
X
)
:
G
⊆
A
}
=
R
_
β
(
A
)
⊆
⋃
‍
{
G
∈
⋀
β
-set
:
G
⊆
A
}
=
⋀
_
β
(
A
)
⊆
A, that is, R_(A)⊆R_β(A)⊆⋀_β(A)⊆A.
Also,R¯(A)=⋂‍{F∈τc:F⊇A}⊇⋂‍{F∈βC(X):F⊇A}=R¯β(A)⊇
⋂
‍
{
F
∈
⋁
β
-set
:
F
⊇
A
}
=
⋀
¯
β
(
A
)
⊇
A, that is, R¯(A)⊇R¯β(A)⊇⋀¯β(A)⊇A.
Consequently,R_(A)⊆R_β(A)⊆⋀_β(A)⊆A⊆⋀¯β(A)⊆R¯β(A)⊆R¯(A).Definition 23.
Let(X,R∧β) be a ⋀β-approximation space and A⊆X. Then there are memberships ∈_∧β and ∈¯∧β, say, ⋀β-strong and ⋀β-weak memberships respectively which defined by(1)
x∈_∧βA iff x∈⋀_β(A),(2)
x∈¯∧βA iff x∈⋀¯β(A).Remark 24.
According to Definition28, ⋀β-lower and ⋀β-upper approximations of a set A⊆X can be written as (1)
⋀_β(A)={x∈A:x∈_∧βA},(2)
⋀¯β(A)={x∈A:x∈¯∧βA}.Remark 25.
Let(X,R∧β) be a ⋀β-approximation space and A⊆X. Then (1)
x∈¯A⇒x∈_βA⇒x∈_∧βA,(2)
x∈¯∧βA⇒x∈¯βA⇒x∈¯A.
The converse of Remark25 may not be true in general as seen in the following example.Example 26.
In Example17. Let A={b,c}, we have c∈_∧βA but c∉_βA. Let A={c,d}, c∈_βA but c∉_A. Let A={d} we have c∈¯A but c∉¯βA. Let A={a,d}, c∈¯βA but c∉¯∧βA.
LetX be a finite nonempty universe, A⊆X, we can characterize the degree of completeness by a new tool named ⋀β-accuracy measure defined as follows
(5)α∧β(A)=|⋀_β(A)||⋀¯β(A)|,A≠ϕ.Example 27.
In Example17, we can deduce the following table showing the degree of accuracy measure αR(A), β-accuracy measure αRβ(A) and ⋀β-accuracy measure α∧β(A) for some sets,  see Table 1.
We see that the degree of exactness of the setA={a,c} by using accuracy measure equal to 50%, by using ⋀β-accuracy measure equal to 100%. Also, the set A={a,b,d} by using β-accuracy measure equal to 75% and by using ⋀β-accuracy measure equal to 100%. Consequently ⋀β-accuracy measure is better than accuracy and β-accuracy measures in this case.
We investigate⋀β-rough equality and ⋀β-rough inclusion based on rough equality and inclusion which introduced by  Novotný and Pawlak in [7, 40].Table 1
The setA⊆X
α
R
(
A
)
α
R
β
(
A
)
α
∧
β
(
A
)
{
a
}
1
/
2
1
1
{
b
}
0
0
0
{
c
}
0
0
1
{
d
}
1
/
3
1
/
2
1
/
2
{
a
,
b
}
1
/
3
1
/
2
1
/
2
{
a
,
c
}
1
/
2
1
1
{
a
,
d
}
1
/
2
1
/
2
2
/
3
{
b
,
c
}
0
0
1
/
2
{
b
,
d
}
2
/
3
1
1
{
c
,
d
}
1
/
3
2
/
3
2
/
3
{
a
,
b
,
c
}
1
/
3
2
/
3
2
/
3
{
a
,
b
,
d
}
3
/
4
3
/
4
1
{
a
,
c
,
d
}
3
/
4
3
/
4
3
/
4
{
b
,
c
,
d
}
2
/
3
1
1Definition 28.
Let(X,R∧β) be a  ⋀β-approximation space, A,B⊆X. Then we say that A and B are (i)
⋀β-roughly bottom equal (A~-∧βB) if ⋀_β(A)=⋀_β(B),(ii)
⋀β-roughly top equal (A≃∧βB) if  ⋀¯β(A)=⋀¯β(B),(iii)
⋀β-roughly equal (A≈∧βB) if (A~-∧βB) and (A≃∧βB).Example 29.
In Example17, we have the sets {a,c}, {a,b,c} are ⋀β-roughly bottom equal and {c,d}, {b,c,d} are ⋀β-roughly top equal.Definition 30.
Let(X,R∧β) be a ⋀β-approximation space, A,B⊆X. Then we say that (i)
A is ⋀β-roughly bottom included in B(A⊂~∧βB) if ⋀_β(A)⊆⋀_β(B),(ii)
A is ⋀β-roughly top included in B(A⊂~∧βB) if ⋀¯β(A)⊆⋀¯β(B).(iii)
A is ⋀β-roughly included in B(A⊂~~∧βB) if (A⊂~∧βB) and (A⊂~∧βB).Example 31.
In Example17, we have {b,c} is ⋀β- roughly bottom included in {a,b,c}. Also, {b,c} is ⋀β- roughly top included in {a,b,c}. Also, {b,c} is ⋀β-roughly included in {a,b,c}.


## 4.⋀β-Rough Sets

We introduced a new concept of⋀β-rough set.Definition 32.
For any⋀β-approximation space (X,R∧β), a subset A of X is called: (1)
⋀β-definable (⋀β-exact) if ⋀¯β(A)=⋀_β(A),(2)
⋀β-rough if ⋀¯β(A)≠⋀_β(A).Example 33.
Let(X,R∧β) be a ⋀β-approximation space as in Example 17. We have the set {c} is ⋀β-exact while {c,d} is ⋀β-rough set.Proposition 34.
Let(X,R∧β) be a ⋀β-approximation space. Then (1)
every exact set inX is β-exact,(2)
everyβ-exact set in X is ⋀β-exact,(3)
every⋀β-rough set in X is β-rough,(4)
everyβ-rough set in X is rough.Proof.
Obvious.
The converse of all parts of Proposition34 may not be true in general as seen in the following example.Example 35.
Let(X,R∧β) be an ⋀β-approximation space as in Example 17. Then the set {b,d} is β-exact but not exact, the set {c} is ⋀β-exact but not β-exact, the set {c} is β-rough but not ⋀β-rough and the set {a,c} is rough but not β-rough.Definition 36.
Let(X,R∧β) be a ⋀β-approximation space, the set A⊆X is called: (1)
roughly⋀β-definable, if ⋀_β(A)≠ϕ and ⋀¯β(A)≠X,(2)
internally⋀β-undefinable, if ⋀_β(A)=ϕ and ⋀¯β(A)≠X,(3)
externally⋀β-undefinable, if ⋀_β(A)≠ϕ and ⋀¯β(A)=X,(4)
totally⋀β-undefinable, if ⋀_β(A)=ϕ and ⋀¯β(A)=X.
We denote the set of all roughly⋀β-definable (resp., internally ⋀β-undefinable, externally ⋀β-undefinable and totally  ⋀β-undefinable) sets by ⋀βRD(X) (resp., ⋀βIUD(X), ⋀βEUD(X) and ⋀βTUD(X)).Remark 37.
For any⋀β-approximation space (X,R∧β). The following are hold: (1)
⋀βRD(X)⊇βRD(X)⊇RD(X),(2)
⋀βIUD(X)⊆βIUD(X)⊆IUD(X),(3)
⋀βEUD(X)⊆βEUD(X)⊆EUD(X),(4)
⋀βTUD(X)⊆βTUD(X)⊆TUD(X).Example 38.
In Example17, we have the set {a,d}∈⋀βRD(X) but {a,d}∉βRD(X). The set {c}∈βIUD(X) but {c}∉⋀βIUD(X). The set {a,b,d}∈βEUD(X) but {a,b,d}∈⋀βEUD(X).


## 5. Conclusion

In this paper, we used the class of⋀β-sets to introduce a new type of approximations named ⋀β-approximation operator. Also, using ⋀β-approximation we can obtain 24 dissimilar granules of the universe of discourse. Our approach is the largest granulation based on β-open sets in topological spaces. This made the accuracy measures higher than the use of any type of near open sets such as, α-open, β-open,   and preopen sets.  Some important properties of the classical. Pawlak’s rough sets are generalized. Also, we defined the concept of rough membership function using ⋀β-sets. It is a generalization of classical rough membership function of Pawlak rough sets. The generalized rough membership function can be used to analyze which decision should be made according to a conditional attribute in decision information system. The rough set approach to approximation of sets leads to useful forms of granular computing that are part of computational intelligence.



---

*Source: 189208-2013-03-18.xml*