See discussions, stats, and author profiles for this publication at: https://www.researchgate.

net/publication/308726989

Supra Semi Open Soft Sets and Associated Soft Separation Axioms

Article  in  Applied Mathematics & Information Sciences · November 2016

DOI: 10.18576/amis/100623

CITATIONS READS
9 522

2 authors:

Alaa Mohamed Abd El-latif Rodyna A. Hosny

Northern Border University Zagazig University
80 PUBLICATIONS   1,018 CITATIONS    53 PUBLICATIONS   185 CITATIONS   

SEE PROFILE SEE PROFILE

Some of the authors of this publication are also working on these related projects:

On Multi Topological spaces View project

Soft Extra Strongly Semi Star Generalized Closed Sets View project

All content following this page was uploaded by Alaa Mohamed Abd El-latif on 31 October 2016.

The user has requested enhancement of the downloaded file.

Appl. Math. Inf. Sci. 10, No. 6, 2207-2215 (2016) 2207
Applied Mathematics & Information Sciences
An International Journal

http://dx.doi.org/10.18576/amis/100623

Supra Semi Open Soft Sets and Associated Soft

Separation Axioms
A. M. Abd El-latif 1,2 and Rodyna A. Hosny 3,∗
1 Mathematics Department, Faculty Arts and Sciences, Northern Borders University, Rafha, KSA.
2 Mathematics Department, Faculty of Education, Ain Shams University, Roxy, 11341, Cairo, Egypt.
3 Mathematics Department, Faculty of Science, Zagazig University, Zagazig, Egypt.

Received: 22 Jul. 2016, Revised: 27 Aug. 2016, Accepted: 9 Sep. 2016

Published online: 1 Nov. 2016

Abstract: In this paper, we introduce and investigate some weak soft separation axioms by using the notion of supra semi open soft
sets. We study the relationships between these new soft separation axioms and their relationships with some other properties. As a
consequence the relations of some supra soft separation axioms are shown in a diagram. We show that, some classical results in general
supra topology are not true if we consider supra soft topological spaces instead. For instance, if (X, µ , E) is supra soft semi T1 -space
need not every soft singleton xE is supra semi closed soft.

Keywords: Soft sets, Soft topological spaces, Supra soft topological spaces, Supra semi open soft sets, Supra soft semi Ti spaces
(i = 1, 2, 3, 4), Supra soft continuity, Supra semi irresolute open soft function.

1 Introduction The notion of supra soft topological spaces was

Soft set theory is one of the emerging branches of
mathematics that could deal with parameterization
inadequacy and vagueness that arises in most of the
problem solving methods. It is introduced [18] in 1999 by
the Russian mathematician Molodtsov with its rich
potential applications in divergent directions. In recent
years, many interesting applications of soft set theory
have been expanded by embedding the ideas of fuzzy sets
[1,6,15,16,17,19].
It got some stability only after the introduction of soft
topology [20] in 2011. In [11], Kandil et al. introduced
some soft operations such as semi open soft, pre open
soft, α −open soft and β −open soft and investigated their
properties in detail. Kandil et al. [14] introduced the
notion of soft semi separation axioms. In particular they
study the properties of the soft semi regular spaces and
soft semi normal spaces.
initiated for the first time by El-Sheikh and Abd El-Latif
[4,8]. They also introduced new different types of subsets
of supra soft topological spaces and study the relations
between them in detail. The main purpose of this paper, is
to generalize the notion of supra soft separation axioms
[3] by using the notions of supra semi open soft sets.
2 Preliminaries
In this section, we present the basic definitions and results
of soft set theory which will be needed in this paper.
Definition 2.1.[18] Let X be an initial universe and E be
a set of parameters. Let P(X) denote the power set of
X and A be a non-empty subset of E. A pair F denoted
by FA is called a soft set over X , where F is a mapping
given by F : A → P(X). In other words, a soft set over
X is a parametrized family of subsets of the universe X.

∗ Corresponding author e-mail: rodynahosny@yahoo.com

c 2016 NSP
Natural Sciences Publishing Cor.
2208 A. M. Abd El-latif and R. A. Hosny : Supra semi open soft sets and...

For a particular e ∈ A, F(e) may be considered the set of for each k ∈ Y .

e−approximate elements of the soft set (F, A) and if e 6∈ A, (2)If G ∈ SK (Y ), then the inverse image of G under f pu ,
−1
then F(e) = 0/ i.e FA = {F(e) : e ∈ A ⊆ E, F : A → P(X)}. written as f pu (G), is a soft set in SE (X) such that
Definition 2.2.[7] A soft set F over X is a set valued (
function from E to P(X). It can be written a set of −1 u−1 (G(p(e))), p(e) ∈ Y
f pu (G)(e) =
ordered pairs F = (e, F(e)) : e ∈ E . Note that if 0,
/ otherwise.
F(e) = 0,
/ then the element (e, F(e)) is not appeared in F.
The set of all soft sets over X is denoted by SE (X). for each e ∈ E.
Definition 2.3.[7] Let F, G ∈ SE (X). Then, The soft function f pu is called surjective if p and u are
(1)If F(e) = 0/ for each e ∈ E, F is said to be a null soft surjective, also is said to be injective if p and u are
set, denoted by 0.
/̃ injective.
(2)If F(e) = X for each e ∈ E, F is said to be absolute soft Theorem 2.7.[5]. Let SE (X) and SK (Y ) be families of
set, denoted by X̃. soft sets. For the soft function f pu : SE (X) → SK (Y ), for
˜ if F(e) ⊆ G(e)
(3)F is soft subset of G, denoted by F ⊆G, each F, F1 , F2 ∈ SE (X) and for each G, G1 , G2 ∈ SK (Y ) the
for each e ∈ E. following statements hold,
˜ and G⊆F.
(4)F = G, if F ⊆G ˜ −1 −1
(1) f pu (Gc̃ ) = ( f pu G)c̃ .
(5)Soft union of F and G, denoted by F ∪G, ˜ is a soft set −1 ˜
(2) f pu ( f pu (G))⊆G. If f pu is surjective, then the equality
over X and defined by F ∪G ˜ : E → P(X) such that
holds.
˜
(F ∪G)(e) = F(e) ∪ G(e) for each e ∈ E. −1 ( f (F)). If f
(3)F ⊆ ˜ f pu pu pu is injective, then the equality
˜ is a soft
(6)Soft intersection of F and G, denoted by F ∩G,
holds.
˜ : E → P(X) such that
set over X and defined by F ∩G
(4) f pu (X̃)⊆ ˜ Ỹ . If f pu is surjective, then the equality holds.
˜
(F ∩G)(e) = F(e) ∩ G(e) for each e ∈ E. −1
˜ is a soft (5) f pu (Ỹ ) = X̃ and f pu (0) /̃ = 0. /̃
(7)Soft difference of F and G, denoted by F \G, ˜ 2 , then f pu (F1 )⊆ ˜ f pu (F2 ).
(6)If F1 ⊆F
set over U whose approximate function is defined by ˜ 2 , then f pu −1 (G )⊆ −1
˜ : E → P(X) such that (F \G)(e)=F(e)\G(e).
˜ (7)If G1 ⊆G 1 ˜ f pu (G2 ).
F \G −1 (G ∪G −1 (G )∪ −1
(8) f pu 1 ˜ 2) = f pu 1 ˜ f pu (G2 ) and
(8)Soft complement of F is denoted by F c̃ and defined by −1 −1 −1
˜ ˜
f pu (G1 ∩G2 ) = f pu (G1 )∩ f pu (G2 ).
F c̃ : E → P(X) such that F c̃ (e) = X \ F(e) for each
(9) f pu (F1 ∪F˜ 2) = f pu (F1 )∪˜ f pu (F2 ) and
e ∈ E. ˜ f pu (F1 )∩˜ f pu (F2 ). If f pu is injective, then
f pu (F1 ∩F˜ 2 )⊆
We will consider Definition 2.2 and Definition 2.3. the rest the equality holds.
of paper.
Definition 2.4.[21] The soft set F ∈ SE (X) is called a soft Definition 2.8.[20] Let τ be a collection of soft sets over
point if there exist an e ∈ E such that F(e) 6= 0/ and F(e′ ) = a universe X with a fixed set of parameters E, then τ ⊆
0/ for each e′ ∈ E \ {e}, and the soft point F is denoted by SE (X) is called a soft topology on X if
eF . The soft point eF is said to be in the soft set G, denoted (1)X̃, 0/̃ ∈ τ , where 0(e)
/̃ = 0/ and X̃(e) = X, for each e ∈ E,
˜ if F(e) ⊆ G(e) for the element e ∈ E. Also, we
by eF ∈G, (2)The soft union of any number of soft sets in τ belongs
say that x ∈ F read as x belongs to the soft set F whenever to τ ,
x ∈ F(e) for each e ∈ E. (3)The soft intersection of any two soft sets in τ belongs
Definition 2.5.[14,20] The soft set F over X such that to τ .
F(e) = {x} ∀e ∈ E is called singleton soft point and
The triplet (X, τ , E) is called a soft topological space over
denoted by xE or (x, E).
X. A soft set F over X is said to be open soft set in X if
Definition 2.6.[5] Let SE (X) and SK (Y ) be families of soft F ∈ τ , and it is said to be closed soft set in X, if its relative
sets, u : X → Y and p : E → K be mappings. Therefore complement F ′ is an open soft set. We denote the set of all
f pu : SE (X) → SK (Y ) is called a soft function. open soft sets over X by OS(X, τ , E), or when there can be
(1)If F ∈ SE (X), then the image of F under f pu , written no confusion by OS(X) and the set of all closed soft sets
as f pu (F), is a soft set in SK (Y ) such that by CS(X, τ , E), or CS(X).
(S Definition 2.9.[20] Let (X, τ , E) be a soft topological
−1
e∈p−1 (k) u(F(e)), p (k) 6= 0 / space over X and F ∈ SE (X). Then, the soft interior and
f pu (F)(k) =
0,
/ otherwise. soft closure of F, denoted by int(F) and cl(F),

c 2016 NSP
Natural Sciences Publishing Cor.
Appl. Math. Inf. Sci. 10, No. 6, 2207-2215 (2016) / www.naturalspublishing.com/Journals.asp
respectively, are defined as,
[˜ ˜
int(F) = G : G is open soft set and G⊆F
\˜ ˜
cl(F) = H : H is closed soft set and F ⊆H .
Definition 2.10.[21] Let (X, τ1 , E) and (Y, τ2 , K) be soft
topological spaces and f pu : SE (X) → SK (Y ) be a function.
Then, the function f pu is called,
−1 (G) ∈ τ for each G ∈ τ .
(1)Continuous soft if f pu 1 2
(2)Open soft if f pu (F) ∈ τ2 for each F ∈ τ1 .
Definition 2.11.[8] Let τ be a collection of soft sets over
a universe X with a fixed set of parameters E, then µ ⊆
SE (X) is called supra soft topology on X with a fixed set
E if
(1)X̃, 0/̃ ∈ µ ,
(2)The soft union of any number of soft sets in µ belongs
to µ .
The triplet (X, µ , E) is called supra soft topological space
(or supra soft spaces) over X.
Definition 2.12.[8] Let (X, τ , E) be a soft topological
space and (X, µ , E) be a supra soft topological space. We
say that, µ is a supra soft topology associated with τ if
τ ⊆ µ.
Definition 2.13.[8] Let (X, µ , E) be a supra soft
topological space over X, then the members of µ are said
to be supra open soft sets in X. We denote the set of all
supra open soft sets over X by supra − OS(X, µ , E), or
when there can be no confusion by supra − OS(X) and
the set of all supra closed soft sets by
supra − CS(X, µ , E), or supra − CS(X).
Definition 2.14.[8] Let (X, µ , E) be a supra soft
topological space over X and F ∈ SE (X). Then the supra
soft interior of F, denoted by Sint(F) is the soft union of
all supra open soft subsets of F. Clearly Sint(F) is the
largest supra open soft set over X which contained in F i.e
[˜
˜ .
Sint(F) = G : G is supra open soft set and G⊆F
Definition 2.15.[8] Let (X, µ , E) be a supra soft
topological space over X and F ∈ SE (X). Then the supra
soft closure of F, denoted by Scl(F) is the soft
intersection of all supra closed super soft sets of F.
Clearly Scl(F) is the smallest supra closed soft set over X
which contains F i.e
\˜ ˜
Scl(F) = H : H is supra closed soft set and F ⊆H .
Definition 2.16.[8] Let (X, µ , E) be a supra soft
topological space and F ∈ SE (X). Then, F is called supra
c 2016 NSP
2209
˜
semi open soft set if F ⊆Scl(Sint(F)). We denote the set
of all supra semi open soft sets by SSOS(X, µ , E), or
SSOSE (X) and the set of all supra semi closed soft sets by
SSCS(X, µ , E), or SSCSE (X).
Definition 2.17.[2] Let (X, µ , E) be a supra soft
topological space over X and F ∈ SE (X). Then, the supra
semi soft interior and supra semi soft closure of F,
denoted by Sints (F) and Scls (F), respectively, are defined
as
[˜ ˜
Sints (F) = G : G is supra semi open soft set and G⊆F
˜
\
˜
Scls (F) = H : H is supra semi closed soft set and F ⊆H .
Definition 2.18.[3,8] Let (X, τ1 , E) and (Y, τ2 , K) be soft
topological spaces, µ1 and µ2 be associated supra soft
topologies with τ1 and τ2 , respectively. The soft function
f pu : SE (X) → SK (Y ) is called
−1 (G) ∈ µ for each
(1)Supra continuous soft function if f pu 1
F ∈ τ2 .
(2)Supra open soft if f pu (F) ∈ µ1 for each F ∈ τ1 .
−1 (F) ∈ µ for each F ∈ µ .
(3)Supra irresolute soft if f pu
1 2
(4)Supra irresolute open soft if f pu (F) ∈ µ2 for each F ∈
µ1 .
(5)Supra semi-continuous soft if
−1 (F) ∈ SSOS(X, µ , E) for each F ∈ µ .
f pu 1 2
3 Supra soft semi separation axioms
In this section, we introduce and investigate some weak
soft separation axioms by using the notion of supra semi
open soft sets, which is a generalization of the supra soft
separation axioms mentioned in [3].
Definition 3.1. Let (X, τ , E) be a soft topological space
and µ be an associated supra soft topology with τ . Let
x, y ∈ X such that x 6= y. Then, (X, µ , E) is called
(1)Supra soft semi T0 -space (Supra soft s-T0 , for short) if
there exists a µ -supra semi open soft set F containing
one of the points x, y but not the other.
(2)Supra soft semi T1 -space (Supra soft s-T1 , for short) if
there exist µ -supra semi open soft sets F and G such
that x ∈ F, y 6∈ F and y ∈ G, x 6∈ G.
(3)Supra soft semi Hausdorff space (Supra soft s-T2 , for
short) if there exist µ -supra semi open soft sets F and
G such that x ∈ F, y ∈ G and F ∩G ˜ = 0. /̃
Proposition 3.2. Let (X, τ , E) be a soft topological space
and x, y ∈ X such that x 6= y. If there exist µ -supra semi
open soft sets F and G such that either x ∈ F and y ∈ F c̃
Natural Sciences Publishing Cor.
2210
or y ∈ G and x ∈ Gc̃ . Then, (X, µ , E) is supra soft semi
T0 -space.
Proof. Let x, y ∈ X such that x 6= y. Let F and G be µ -
supra semi open soft sets such that either x ∈ F and y ∈ F c̃
or y ∈ G and x ∈ Gc̃ . If x ∈ F and y ∈ F c̃ . Then, y ∈ (F(e))c̃
for each e ∈ E. This implies that, y 6∈ F(e) for each e ∈ E.
Therefore, y 6∈ F. Similarly, if y ∈ G and x ∈ Gc̃ , then x 6∈ G.
Hence, (X, µ , E) is supra soft semi T0 -space.
Theorem 3.3. A supra soft topological space (X, µ , E) is
supra soft semi T0 -space if and only if the supra closures
of each distinct points x and y are distinct.
Proof. Necessity:Let (X, µ , E) be a supra soft semi
T0 -space and x, y ∈ X such that x 6= y. Then, there exists a
µ -supra semi open soft set F such that x ∈ F and y 6∈ F.
Hence, F c̃ is supra semi closed soft set containing y but
not x. It follows that, Scls (yE )⊆F ˜ c̃ . Therefore,
x 6∈ Scls (yE ). Thus, Scls (xE ) 6= Scls (yE ).
Sufficient: Let x, y be two distinct points in X such that
Scls (xE ) 6= Scls (yE ). Then, there exists a point z belongs
to one of the sets Scls (xE ), Scls (yE ) but not the other. Say,
z ∈ Scls (xE ) and z 6∈ Scls (yE ). Now, if x ∈ Scls (yE ). Then,
˜ s (yE ), which is a contradiction with
Scls (xE )⊆Scl
z 6∈ Scls (yE ). So, x 6∈ Scls (yE ). Hence, [Scls (yE )]c̃ is supra
semi open soft set containing x but not y. Thus, (X, µ , E)
is supra soft semi T0 -space.
Proposition 3.4. Let (X, τ , E) be a soft topological space
and x, y ∈ X such that x 6= y. If there exist µ -supra semi
open soft sets F and G such that x ∈ F and y ∈ F c̃ and
y ∈ G and x ∈ Gc̃ . Then (X, µ , E) is supra soft semi T1 -
space.
Proof. It is similar to the proof of Proposition 3.2.
Theorem 3.5. Every supra soft semi Ti -space is supra soft
semi Ti−1 for each i = 1, 2.
Proof. Obvious from Definition 3.1.
The converse of the above theorem is not true in general,
as following examples shall show.
Examples 3.6.
(1)Let X = {h1 , h2 }, E = {e1 , e2 } and τ = {X̃, 0,
/̃ F} where
F is s soft sets over X defined as follows:
F(e1 ) = {h1 }, F(e2 ) = X.
Then, τ defines a soft topology on X. Consider the
associated supra soft topology µ with τ is defined as
µ = {X̃, 0,
/̃ G1 , G2 , G3 }, where G1 , G2 and G3 are soft
c 2016 NSP
Natural Sciences Publishing Cor.
A. M. Abd El-latif and R. A. Hosny : Supra semi open soft sets and...
sets over X defined as follows:
G1 (e1 ) = X, G1 (e2 ) = {h2 },
G2 (e1 ) = {h1 }, G2 (e2 ) = X,
G3 (e1 ) = {h1 }, G3 (e2 ) = {h1 }.
Therefore, (X, µ , E) is supra soft semi T1 -space, but
it is not supra soft semi T2 -space, for h1 , h2 ∈ X and
h1 6= h2 , but there are no µ -supra semi open soft sets F
and G such that h1 ∈ F, h2 ∈ G and F ∩G ˜ = 0. /̃
(2)Let X = {h1, h2 , h3 }, E = {e1 , e2 } and τ = {X̃, 0,
/̃ F}
where F is soft set over X defined as follows by
F(e1 ) = {h1, h2 }, F(e2 ) = {h1 , h2 }.
Then,τ defines a soft topology on X. The associated
supra soft topology µ with τ is defined as
µ = {X̃, 0,
/̃ G1 , G2 , G3 }, where G1 , G2 , and G3 are soft
sets over X defined as follows:
G1 (e1 ) = {h1}, G1 (e2 ) = {h1 },
G2 (e1 ) = {h1, h2 }, G2 (e2 ) = {h1 , h2 },
G3 (e1 ) = {h2, h3 }, G3 (e2 ) = {h2 , h3 }.
Hence, (X, µ , E) is supra soft semi T0 -space, but it is
not supra soft semi T1 -space, since h2 , h3 ∈ X, and h2 6=
h3 , but every supra semi open soft set which contains
h3 also contains h2 .
Theorem 3.7. Let (X, µ , E) be a supra soft topological
space. If xE is supra semi closed soft set in µ for each
x ∈ X, then (X, µ , E) is supra soft semi T1 -space.
Proof. Let x ∈ X and xE be supra semi closed soft set in
µ , then, xc̃E is supra semi open soft set in µ . Let x, y ∈ X
such that x 6= y. For x ∈ X and xc̃E is supra semi open soft set
such that x 6∈ xc̃E and y ∈ xc̃E . Similarly yc̃E is supra semi open
soft set in µ such that y 6∈ yc̃E and x ∈ yc̃E . Thus, (X, µ , E) is
supra soft semi T1 -space over X.
The converse of Theorem 3.7 is not true in general, as
following example shall show.
Example 3.8. Let X = {h1 , h2 }, E = {e1 , e2 } and
τ = {X̃, 0,
/̃ F} where F is a soft sets over X defined as
follows:
F(e1 ) = X, F(e2 ) = {h2 }.
Then, τ defines a soft topology on X. Consider the
associated supra soft topology µ with τ is defined as
µ = {X̃, 0,
/̃ G1 , G2 , G3 } where G1 , G2 and G3 are soft sets
over X defined as follows:
G1 (e1 ) = X, G1 (e2 ) = {h2},
G2 (e1 ) = {h1 }, G2 (e2 ) = X
G3 (e1 ) = {h1 }, G3 (e2 ) = {h1}.
Appl. Math. Inf. Sci. 10, No. 6, 2207-2215 (2016) / www.naturalspublishing.com/Journals.asp 2211

Then, µ defines a supra soft topology on X. Therefore, ˜ = 0/̃ for every µ -supra semi
(2)x 6∈ G if and only if xE ∩G
(X, µ , E) is a supra soft semi T1 -space. On the other hand, open soft set G.
we note that for the singleton soft points h1E and h2E ,
where Proof.
h1 (e1 ) = {h1 }, h1 (e2 ) = {h1 }, (1)Let F be a µ -supra semi closed soft set such that x 6∈ F.
h2 (e1 ) = {h2 }, h2 (e2 ) = {h2 }. Since (X, µ , E) is supra soft semi regular space. By
The relative complement hc̃1E and hc̃2E , where Proposition 3.10, there exists a µ -supra semi open soft
set G such that x ∈ G and F ∩G ˜ = 0. /̃ It follows that,
hc̃1 (e1 ) = {h2 }, hc̃1 (e2 ) = {h2 }, ˜
xE ⊆G from Proposition 3.12 (1). Hence, xE ∩F ˜ = 0./̃
hc̃2 (e1 ) = {h1 }, hc̃2 (e2 ) = {h1 }. Conversely, if xE ∩F˜ = 0, /̃ then x 6∈ F from Proposition
3.12 (2).
Thus, hc̃2E is not µ -supra semi open soft set. This shows (2)Let G be a µ -supra semi open soft set such that x 6∈ G.
that, the converse of the above theorem does not hold. If x 6∈ G(e) for each e ∈ E, then we get the proof. If
Also, we have x 6∈ G(e1 ) and x ∈ G(e2 ) for some e1 , e2 ∈ E, then
µe1 = {X, 0,/ {h1}}, and x ∈ Gc̃ (e1 ) and x 6∈ Gc̃ (e2 ) for some e1 , e2 ∈ E. This
µe2 = {X, 0,/ {h1}, {h2}}. Therefore,(X, µe1 ) is not a supra means that, xE ∩G ˜ 6= 0./̃ Hence, Gc̃ is µ -supra semi
semi T1 -space, at the time that (X, µ , E) is a supra soft semi closed soft set such that x 6∈ Gc̃ . It follows by (1)
T1 -space. ˜ c̃ = 0.
xE ∩G /̃ This implies that, xE ⊆G ˜ and so x ∈ G,
Definition 3.9. Let (X, τ , E) be a soft topological space which is contradiction with x 6∈ G(e1 ) for some
and µ be an associated supra soft topology with τ . Let G e1 ∈ E. Therefore, xE ∩G ˜ = 0. /̃ Conversely, if
be a µ -supra semi closed soft set in X and x ∈ X such that ˜ = 0,
xE ∩G /̃ then it is obvious that x 6∈ G. This
x 6∈ G. If there exist µ -supra semi open soft sets F1 and completes the proof.
F2 such that x ∈ F1 , G⊆F˜ 2 and F1 ∩F /̃ then (X, µ , E)
˜ 2 = 0,
Corollary 3.14. Let (X, µ , E) be a supra soft topological
is called supra soft semi regular space. A supra soft semi
space and x ∈ X. If (X, µ , E) is supra soft semi regular
regular semi T1 -space is called supra soft semi T3 -space
space, then the following statements are equivalent:
(Supra soft s-T3 , for short).
Proposition 3.10. Let (X, τ , E) be a soft topological space (1)(X, µ , E) is supra soft semi T1 -space.
and µ be an associated supra soft topology with τ . Let G (2)∀ x, y ∈ X such that x 6= y, there exist µ -supra semi open
soft sets F and G such that xE ⊆F ˜ and yE ∩F ˜ = 0/̃ and
be a µ -supra semi closed soft set in X and x ∈ X such that
˜ ˜
yE ⊆G and xE ∩G = 0. /̃
x 6∈ G. If (X, µ , E) is supra soft semi regular space, then
there exists a µ -supra semi open soft set F such that x ∈ F Proof. Obvious from Theorem 3.13.
˜ = 0.
and F ∩G /̃
Theorem 3.15. Let (X, µ , E) be a supra soft topological
Proof. Obvious from Definition 3.9. space and x ∈ X. Then, the following statements are
Theorem 3.11. Every supra soft Ti -space is supra soft semi equivalent:
Ti for each i = 0, 1, 2, 3.
(1)(X, µ , E) is supra soft semi regular space.
Proof. It is clear from the fact that, every supra open soft (2)For every µ -supra semi closed soft set G such that
set is supra semi open soft set [8]. ˜ = 0,
xE ∩G /̃ there exist µ -supra semi open soft sets F1
Proposition 3.12. Let (X, µ , E) be a supra soft topological and F2 such that xE ⊆F˜ 1 , G⊆F
˜ 2 and F1 ∩F
˜ 2 = 0.
/̃
space, F ∈ SE (X) and x ∈ X. Then:
Proof.
˜
(1)x ∈ F if and only if xE ⊆F.
(1) ⇒ (2) Let G be a µ -supra semi closed soft set such
˜ = 0,
(2)If xE ∩F /̃ then x 6∈ F.
˜ = 0.
that xE ∩G /̃ Then, x 6∈ G from Theorem 3.13 (1). It
Proof. Obvious. follows by (1), there exist µ -supra semi open soft sets
˜ 2 and F1 ∩F
F1 and F2 such that x ∈ F1 , G⊆F ˜ 2 = 0.
/̃ This
Theorem 3.13. Let (X, µ , E) be a supra soft topological ˜ 1 , G⊆F
˜ 2 and F1 ∩F
means that, xE ⊆F ˜ 2 = 0.
/̃
space and x ∈ X. If (X, µ , E) is supra soft semi regular
(2) ⇒ (1) Let G be a µ -supra semi closed soft set such
space, then
˜ = 0/̃ from Theorem 3.13 (1).
that x 6∈ G. Then, xE ∩G
˜ = 0/̃ for every µ -supra semi
(1)x 6∈ F if and only if xE ∩F It follows by (2), there exist µ -supra semi open soft
closed soft set F. ˜ 1 , G⊆F
sets F1 and F2 such that xE ⊆F ˜ 2 and F1 ∩F
˜ 2 = 0.
/̃

c 2016 NSP
Natural Sciences Publishing Cor.
2212 A. M. Abd El-latif and R. A. Hosny : Supra semi open soft sets and...

Hence, x ∈ F1 , G⊆F˜ 2 and F1 ∩F /̃ Thus, (X, µ , E)

˜ 2 = 0. (1)(X, µ , E) is supra soft semi normal space.
is supra soft semi regular space. (2)For every µ -supra semi closed soft set F and µ -supra
semi open soft set G such that F ⊆G, ˜ there exists a
Theorem 3.16. Let (X, µ , E) be a supra soft topological µ -supra semi open soft set F1 such that F ⊆F ˜ 1,
space. If (X, µ , E) is supra soft T3 -space, then ∀ x ∈ X, xE ˜
Scls (F1 )⊆G.
is µ -supra semi closed soft set.
Proof. We want to prove that xE is µ -supra semi closed Proof.
soft set, which is sufficient to prove that xc̃E is µ -supra (1) ⇒ (2) Let F be a µ -supra semi closed soft set and G
semi open soft set for each y ∈ {x}c̃ . Since (X, µ , E) is be a µ -supra semi open soft set such that F ⊆G. ˜ Then,
supra soft semi T3 -space. Then, there exist µ -supra semi F, Gc̃ are µ -supra semi closed soft sets such that
open soft sets Fy and G such that yE ⊆F ˜ y and xE ∩F˜ y = 0/̃ ˜ c̃ = 0.
F ∩G /̃ It follows by (1), there exist µ -supra semi
and xE ⊆G ˜ and yE ∩G ˜ = 0. ˜ c̃E .
/̃ It follows that, y∈{x}c̃ Fy ⊆x
S
open soft sets F1 and F2 such that F ⊆F ˜ 1 , Gc̃ ⊆F˜ 2 and
Now, we want to prove that xc̃E ⊆ ˜ y∈{x}c̃ Fy . Let
S
˜ 2
F1 ∩F = 0. /̃ Now, ˜ 2) ,
F1 ⊆(F c̃ so
y∈{x}c̃ Fy = H, where H(e) = ˜ s (F2 )c̃ = (F2 )c̃ , where G is µ -supra semi
S S
y∈{x}c̃ F(e)y for each Scls (F1 )⊆Scl
e ∈ E. Since xc̃E (e) = {x}c̃ for each e ∈ E from Definition open soft set. Also, (F2 )c̃ ⊆G.
˜ Hence,
2.5. So, for each y ∈ {x}c̃ and e ∈ E, xc̃E (e) = {x}c̃ = ˜ c̃ ˜ ˜
Scls (F1 )⊆(F2 ) ⊆G. Thus, F ⊆F1 , Scls (F1 )⊆G. ˜
y∈{x}c̃ {y}S =
˜
y∈{x}c̃ yE (e)⊆ y∈{x} c̃ F(e)y = H(e). (2) ⇒ (1) Let G1 , G2 be µ -supra semi closed soft sets
S S S
c̃ ˜ c̃
Thus, xE ⊆ y∈{x}c̃ Fy , and so xE = y∈{x}c̃ Fy . This means
S
such that G1 ∩G ˜ 2 = 0. /̃ Then G1 ⊆G ˜ c̃2 , then by
that, xc̃E is µ -supra semi open soft set for each y ∈ {x}c̃ . hypothesis, there exists a µ -supra semi open soft set
Therefore, xE is µ -supra semi closed soft set. F1 such that ˜ 1,
G1 ⊆F Scls (F1 )⊆G˜ c̃2 . So,
Theorem 3.17. Every supra soft semi T3 -space is supra G2 ⊆[Scls (F1 )] , G1 ⊆F1 and [Scls (F1 )]c̃ ∩F
˜ c̃ ˜ ˜ 1 = 0, /̃
soft semi T2 -space. where F1 and [Scls (F1 )]c̃ are µ -supra semi open soft
sets. Thus, (X, µ , E) is supra soft semi normal space.
Proof. Let (X, µ , E) be a supra soft semi T3 -space and
x, y ∈ X such that x 6= y. By Theorem 3.16, yE is µ -supra Theorem 3.21. Let (X, µ , E) be a supra soft topological
semi closed soft set and x 6∈ yE . It follows from the supra space. If (X, µ , E) is supra soft semi normal space and xE
soft semi regularity, there exist µ -supra semi open soft is µ -supra semi closed soft set for each x ∈ X, then
˜ 2 and F1 ∩F
sets F1 and (F2 ) such that x ∈ F1 , yE ⊆F ˜ 2 = 0.
/̃ (X, µ , E) is supra soft semi T3 -space.
˜
Thus, x ∈ F1 , y ∈ yE ⊆F2 and F1 ∩F ˜ 2 = 0./̃ Therefore,
Proof. Since xE is µ -supra semi closed soft set for each
(X, µ , E) is supra soft semi T2 -space.
x ∈ X, then (X, µ , E) is supra soft semi T1 -space from
Corollary 3.18. The following implications hold from Theorem 3.7. Also, (X, µ , E) is supra soft semi regular
Theorem 3.5, Theorem 3.11 and [[3], Corollary 3.2] for a space from Theorem 3.15 and Definition 3.19. Hence,
supra soft topological space (X, µ , E). (X, µ , E) is supra soft semi T3 -space.
soft T3 −→ soft T2 −→ soft T1 −→ soft T0
Proposition 3.22. Not every supra soft semi open soft
⇓ ⇓ ⇓ ⇓
subspace of supra soft semi Ti -space is supra soft semi
supra soft T3 →supra soft T2 →supra soft T1 →supra soft T0
Ti -space for each i = 0, 1, 2, 3, 4.
⇓ ⇓ ⇓ ⇓
supra soft s-T3 →supra soft s-T2 →supra soft s-T1 →supra Proof. Obvious from the fact that, the soft intersection of
soft s-T0 two supra semi open soft sets need not to be supra semi
open soft.
Definition 3.19. Let (X, µ , E) be a supra soft topological
space, F and G be µ -supra semi closed soft sets in X such
˜ = 0.
that F ∩G /̃ If there exist µ -supra semi open soft sets
4 Supra semi irresolute soft functions
F1 and F2 such that F ⊆F ˜ 1 , G⊆F
˜ 2 and F1 ∩F
˜ 2 = 0,
/̃ then
(X, µ , E) is called supra soft semi normal space. A supra Definition 4.1. Let (X, τ1 , E) and (Y, τ2 , K) be soft
soft semi normal semi T1 -space is called a supra soft semi topological spaces, µ1 and µ2 be associated supra soft
T4 -space. topologies with τ1 and τ2 , respectively. The soft function
f pu : SE (X) → SK (Y ) is called
Theorem 3.20. Let (X, µ , E) be a supra soft topological
space and x ∈ X. Then, the following statements are (1)Supra semi open soft if f pu (F) ∈ SSOSE (µ1 ) for each
equivalent: F ∈ τ1 .

c 2016 NSP
Natural Sciences Publishing Cor.
Appl. Math. Inf. Sci. 10, No. 6, 2207-2215 (2016) / www.naturalspublishing.com/Journals.asp
−1 (F) ∈ SSOS (µ ) for
(2)Supra semi irresolute soft if f pu
E 1
each F ∈ SSOSK (µ2 ).
(3)Supra semi irresolute open soft if f pu (F) ∈ SSOSK (µ2 )
for each F ∈ SSOSE (µ1 ).
Theorem 4.2. Let (X, τ1 , E) and (Y, τ2 , K) be soft
topological spaces, µ1 and µ2 be associated supra soft
topologies with τ1 and τ2 , respectively and
f pu : SE (X) → SK (Y ) be a soft function which is bijective
and supra semi irresolute open soft. If (X, µ1 , E) is supra
soft semi T0 -space, then (Y, µ2 , K) is also a supra soft
semi T0 -space.
Proof. Let y1 , y2 ∈ Y such that y1 6= y2 . Since f pu is
surjective, then there exist x1 , x2 ∈ X such that u(x1 ) = y1 ,
u(x2 ) = y2 and x1 6= x2 . By hypothesis, there exist
µ1 -supra semi open soft sets F and G in X such that either
x1 ∈ F and x2 6∈ F, or x2 ∈ G and x1 6∈ G. So, either
x1 ∈ FE (e) and x2 6∈ FE (e) or x2 ∈ GE (e) and x1 6∈ GE (e)
for each e ∈ E. This implies that, either
y1 = u(x1 ) ∈ u[FE (e)] and y2 = u(x2 ) 6∈ u[FE (e)] or
y2 = u(x2 ) ∈ u[GE (e)] and y1 = u(x1 ) 6∈ u[GE (e)] for each
e ∈ E. Hence, either y1 ∈ f pu (F) and y2 6∈ f pu (F) or
y2 ∈ f pu (G) and y1 6∈ f pu (G). Since f pu is supra semi
irresolute open soft function, then f pu (F), f pu (G) are
supra semi open soft sets in Y . Hence, (Y, µ2 , K) is also a
supra soft semi T0 -space.
Theorem 4.3. Let (X, τ1 , E) and (Y, τ2 , K) be soft
topological spaces, µ1 and µ2 be associated supra soft
topologies with τ1 and τ2 , respectively. Let
f pu : SE (X) → SK (Y ) be a soft function which is bijective
and supra semi irresolute open soft. If (X, µ1 , E) is supra
soft semi T1 -space, then (Y, µ2 , K) is also a supra soft
semi T1 -space.
Proof. It is similar to the proof of Theorem 4.2.
Theorem 4.4. Let (X, τ1 , E) and (Y, τ2 , K) be soft
topological spaces, µ1 and µ2 be associated supra soft
topologies with τ1 and τ2 , respectively. Let
f pu : SE (X) → SK (Y ) be a soft function which is bijective
and supra semi irresolute open soft. If (X, µ1 , E) is supra
soft semi T2 -space, then (Y, µ2 , K) is also a supra soft
semi T2 -space.
Proof. Let y1 , y2 ∈ Y such that y1 6= y2 . Since f pu is
surjective, then there exist x1 , x2 ∈ X such that u(x1 ) = y1 ,
u(x2 ) = y2 and x1 6= x2 . By hypothesis, there exist
µ1 -supra semi open soft sets F and G in X such that
x1 ∈ F, x2 ∈ G and F ∩G ˜ = 0/̃ E . So, x1 ∈ FE (e),
˜
x2 ∈ GE (e) and FE (e)∩GE (e) = 0/ for each e ∈ E. This
implies that, y1 = u(x1 ) ∈ u[FE (e)], y2 = u(x2 ) ∈ u[GE (e)]
for each e ∈ E. Hence, y1 ∈ f pu (F), y2 ∈ f pu (G) and
f pu (F)∩˜ f pu (G) = f pu [F ∩G]
˜ = f pu [0/̃ E ] = 0/̃ K from
c 2016 NSP
2213
Theorem 2.7. Since f pu is supra semi irresolute open soft
function, then f pu (F), f pu (G) are supra semi open soft
sets in Y . Thus, (Y, µ2 , K) is also a supra soft semi
T2 -space.
Theorem 4.5. Let (X, τ1 , E) and (Y, τ2 , K) be soft
topological spaces, µ1 and µ2 be associated supra soft
topologies with τ1 and τ2 , respectively. Let
f pu : SE (X) → SK (Y ) be a soft function which is bijective,
supra semi irresolute soft and supra semi irresolute open
soft. If (X, µ1 , E) is supra soft semi regular space, then
(Y, µ2 , K) is also a supra soft semi regular space.
Proof. Let G be a supra semi closed soft set in Y and
y ∈ Y such that y 6∈ G. Since f pu is surjective and supra
semi irresolute soft, then there exists x ∈ X such that
u(x) = y and f pu −1 (G) is supra semi closed soft set in X
−1 (G). By hypothesis, there exist µ -supra
such that x 6∈ f pu
1
semi open soft sets F and H in X such that x ∈ F,
−1 ˜ and F ∩H ˜ = 0/̃ E . It follows that, x ∈ FE (e) for
f pu (G)⊆H
each e ∈ E and G = f pu [ f pu −1 (G)]⊆ ˜ f pu (H) from Theorem
2.7. So, y = u(x) ∈ u[FE (e)] for each e ∈ E and
G⊆ ˜ f pu (H). Hence, y ∈ f pu (F) and G⊆ ˜ f pu (H) and
f pu (F)∩˜ f pu (H) = f pu [F ∩H]
˜ = f pu [0/̃ E ] = 0/̃ K from
Theorem 2.7. Since f pu is supra semi irresolute open soft
function. Then, f pu (F), f pu (H) are supra semi open soft
sets in Y . Thus, (Y, µ2 , K) is also a supra soft regular
space.
Theorem 4.6. Let (X, τ1 , E) and (Y, τ2 , K) be soft
topological spaces, µ1 and µ2 be associated supra soft
topologies with τ1 and τ2 , respectively. Let
f pu : SE (X) → SK (Y ) be a soft function which is bijective,
supra semi irresolute soft and supra semi irresolute open
soft. If (X, µ1 , E) is supra soft semi T3 -space, then
(Y, µ2 , K) is also a supra soft semi T3 -space.
Proof. Since (X, µ1 , E) is supra soft semi T3 -space, then
(X, µ1 , E) is supra soft semi regular semi T1 -space. It
follows that, (Y, µ2 , K) is also a supra soft semi T1 -space
from Theorem 4.2, and supra soft semi regular space from
Theorem 4.5. Hence, (Y, µ2 , K) is also a supra soft semi
T3 -space.
Theorem 4.7. Let (X, τ1 , E) and (Y, τ2 , K) be soft
topological spaces, µ1 and µ2 be associated supra soft
topologies with τ1 and τ2 , respectively. Let
f pu : SE (X) → SK (Y ) be a soft function which is bijective,
supra semi irresolute soft and supra semi irresolute open
soft. If (X, µ1 , E) is supra soft semi normal space, then
(Y, µ2 , K) is also a supra soft semi normal space.
Proof. Let F, G be supra semi closed soft sets in Y such
˜ = 0/̃ K . Since f pu is supra semi irresolute soft,
that F ∩G
−1 (F) and f −1 (G) are supra semi closed soft set in
then f pu pu
Natural Sciences Publishing Cor.
2214
X such that
−1 (F)∩
f pu −1 (G) = f −1 [F ∩G]
˜ f pu ˜ −1 [0
= f pu /̃ K ] = 0/̃ E from
pu
Theorem 2.7. By hypothesis, there exist supra semi open
soft sets M and H in X such that f pu −1 (F)⊆M,˜ −1 (G)⊆H
f pu ˜
˜ −1 ˜
and F ∩H = 0/̃ E . It follows that, F = f pu [ f pu (F)]⊆ f pu (M)
,G = f pu [ f pu −1 (G)]⊆
˜ f pu (H) from Theorem 2.7 and
f pu (M)∩˜ f pu (H) = f pu [M ∩H]˜ = f pu [0/̃ E ] = 0/̃ K from
Theorem 2.7. Since f pu is supra semi irresolute open soft
function. Then, f pu (M), f pu (H) are supra semi open soft
sets in Y . Thus, (Y, µ2 , K) is also a supra soft semi normal
space.
Corollary 4.8. Let (X, τ1 , E) and (Y, τ2 , K) be soft
topological spaces, µ1 and µ2 be associated supra soft
topologies with τ1 and τ2 , respectively. Let
f pu : SE (X) → SK (Y ) be a soft function which is bijective,
supra semi irresolute soft and supra semi irresolute open
soft. If (X, µ1 , E) is supra soft semi T4 -space, then
(Y, µ2 , K) is also a supra soft semi T4 -space.
Proof. It is obvious from Theorem 4.3 and Theorem 4.7.
5 Conclusion
The notion of supra soft topological spaces was initiated
for the first time by El-sheikh and Abd El-latif [8]. In this
paper, we introduce and investigate some weak soft
separation axioms by using the notion of supra semi open
soft sets, which is a generalization of the supra soft
separation axioms mentioned in [3]. We study the
relationships between these new soft separation axioms
and their relationships with some other properties. As a
consequence the relations of some supra soft separation
axioms are shown in a diagram. We show that, some
classical results in general supra topology are not true if
we consider supra soft topological spaces instead. For
instance, if (X, µ , E) is supra soft semi T1 -space need not
every soft singleton xE is supra semi closed soft. Our next
work, is to generalize this paper by using the notion of
b-open soft sets. We hope that, the results in this paper
will help researcher enhance and promote the further
study on soft topology to carry out a general framework
for their applications in practical life.
Acknowledgements
The authors express their sincere thanks to the reviewers
for their careful checking of the details and for helpful
comments that improved this paper. The authors are also
thankful to the editors-in-chief and managing editors for
c 2016 NSP
Natural Sciences Publishing Cor.
A. M. Abd El-latif and R. A. Hosny : Supra semi open soft sets and...
their important comments which helped to improve the
presentation of the paper.
References
[1] A. M. Abd El-latif, Fuzzy Soft α -separation Axioms via α -
open Soft Sets, Journal of Fuzzy Mathematics, 24(2)(2016),
413-432.
[2] A. M. Abd El-latif and Şerkan Karataş, Supra b-open
soft sets and supra b-soft continuity on soft topological
spaces, Journal of Mathematics and Computer Applications
Research, 5(1)(2015), 1–18.
[3] A. M. Abd El-latif and Rodyna A. Hosny, Supra open soft
sets and associated soft separation axioms. To appear.
[4] A. M. Abd El-latif, Soft supra strongly generalized closed
sets, Journal of Intelligent & Fuzzy Systems, 31 (3) (2016) ,
1311-1317.
[5] B. Ahmad and A. Kharal, Mappings on soft classes, New
Math. Nat. Comput., 7(3)(2011), 471–481.
[6] N. Çagman, F.Çitak and S. Enginoglu, Fuzzy parameterized
fuzzy soft set theory and its applications, Turkish Journal of
Fuzzy Systems, 1(1)(2010), 21–35.
[7] N. Çagman, Contributions to the Theory of Soft Sets, Journal
of New Results in Science, 4(2014), 33–41.
[8] S. A. El-Sheikh and A. M. Abd El-latif, Decompositions of
some types of supra soft sets and soft continuity, International
Journal of Mathematics Trends and Technology, 9(1)(2014),
37–56.
[9] S. A. El-Sheikh, Rodyna A. Hosny and A. M. Abd El-
latif, Characterizations of b-soft separation axioms in soft
topological spaces, Inf. Sci. Lett., 4(3)(2015), 125–133.
[10] S. Hussain and B. Ahmad, Some properties of soft
topological spaces, Comput. Math. Appl., 62(2011), 4058–
4067.
[11] A. Kandil, O. A. E. Tantawy, S. A. El-Sheikh and A. M. Abd
El-latif, γ −operation and decompositions of some forms of
soft continuity in soft topological spaces, Ann. Fuzzy Math.
Inform., 7(2)(2014), 181–196.
[12] A. Kandil, O. A. E. Tantawy, S. A. El-Sheikh and A. M. Abd
El-latif, Soft regularity and normality based on semi open soft
sets and soft ideals, Appl. Math. Inf. Sci. Lett., 3(2)(2015),
47–55.
[13] A. Kandil, O. A. E. Tantawy, S. A. El-Sheikh and A. M. Abd
El-latif, Soft semi (quasi) Hausdorff spaces via soft ideals,
South Asian J. Math., 4(6)(2014), 265–284.
[14] A. Kandil, O. A. E. Tantawy, S. A. El-Sheikh and A. M.
Abd El-latif, Soft semi separation axioms and irresolute soft
functions, Ann. Fuzzy Math. Inform., 8 (2) (2014), 305–318.
[15] A. Kandil, O. A. E. Tantawy, S. A. El-Sheikh and A. M.
Abd El-latif, Some fuzzy soft topological properties based on
fuzzy semi open soft sets, South Asian J. Math., 4(4)(2014),
154–169.
 Appl. Math. Inf. Sci. 10, No. 6, 2207-2215 (2016) / www.naturalspublishing.com/Journals.asp 2215

[16] P. K. Maji, R. Biswas and A. R. Roy, Fuzzy soft sets, Journal Rodyna A. Hosny
of Fuzzy Mathematics, 9(3)(2001), 589–602. is a Lecture of pure
[17] P. K. Maji,R. Biswas and A. R. Roy, Soft set theory, Comput. mathematics of Department
Math. Appl., 45(2003), 555–562. of Mathematics at University
[18] D. Molodtsov, Soft set theory-first results, Comput. Math. of Zagazig. She received
Appl., 37(1999), 19–31. the PhD degree in Pure
[19] A. Mukherjee and S. B. Chakraborty, On intuitionistic fuzzy Mathematics. Her research
soft relations, Bulletin of Kerala Mathematics Association, interests are in the areas of
5(1)(2008), 35–42.
pure mathematics such as General topology, Soft
[20] M. Shabir and M. Naz, On soft topological spaces, Comput.
topology, Rough sets, and Fuzzy topology. She is referee
Math. Appl., 61(2011), 1786–1799.
of several international journals in the frame of pure
[21] I. Zorlutuna, M. Akdag, W.K. Min and S. Atmaca, Remarks
mathematics. She has published research articles in
on soft topological spaces, Annals of Fuzzy Mathematics and
Informatics, 3(2)(2012), 171–185.
various international journals.

Alaa M. Abd El-Latif

is an Assistance Professor
of Pure Mathematics,
Northern Borders University,
Faculty Arts and Sciences,
Mathematics Department,
Rafha, KSA. He received
the PhD degree in Pure
Mathematics (Topology) from Ain Shams University,
Cairo, Egypt. His primary research areas are General
Topology, Fuzzy Topology, Set theory, Soft set theory and
Soft topology. He is referee of several international
journals in the pure mathematics. Dr. Alaa has published
many papers in refereed journals.

c 2016 NSP
Natural Sciences Publishing Cor.

View publication stats