Arxiv:2005.13313V1

Home , Infimum and supremum

arXiv:2005.13313v1 [math.GM] 20 May 2020 apn n h nmmadspeu ftonurspi filte neutrosophic two of supremum Keywords: and o infimum pro image the their the and completion, of mapping filter some to investigate related not properties we the discuss and of set presentation comprehensive neutrosophic a valued give we paper this In Abstract em n nendcnet r sda n[0 n [11]. ]0 and [10] in as used are results concepts and undefined definitions and basic Terms some present we section this In Preliminaries 2 neutrosophic valued single relati of class and the properties in fundamental applications their and of some prove we and lite scientific known able in not sets, were neutrosophic article valued single this on of reso authors and sing the purposes of sets, application class neutrosophic for the aptitude particular that a fact has the despite fo surprisingly, (see, characterizations Rather and properties many proving for neutr to applications Salam some [18] gave in they particular, and In filter [16]). neutrosophic and [14] by S [13], given [1], Neutrosophic recently [15], to were mathematics contributions applied Further an and theoretical [8] [9]. Chang Coker by given by spaces given topological fuzzy both eralizes intu and [22] 1965 Smar in Zadeh by [2]. by 1999 1983 introduced in set introduced fuzzy was of set notions neutrosophic of notion The Introduction 1 valu single completion, neutrosophic filter, neutrosophic etoohcstwih eern nta othe to instead referring [2 Sunderraman which, and set approaching Zhang Wang, neutrosophic for with used jointly be author, to same the suitable not is it unfortunately, o vr family every For oain2.1. Notation applications. engineering and scientific in used usefully eoetecntn mapping constant the denote 2 eateto ahmtc n ttsis ihhInternat Riphah Statistics, and Mathematics of Department − 3 , • h rgnldfiiino etoohcst ie n19 by 1999 in given set, neutrosophic of definition original The a filter base, filter of notions the introduce we paper, this In ar ultrafilters and filters bases, filter Topology, General In neu of notion the introduced [17] Alblowi and Salama 2012, In aoaoyo nomto rcsig aut fScience, of Faculty Processing, Information of Laboratory 1 1 IT-Dprmn fMteaia n optrSine Phy Science, Computer and Mathematical of Department - MIFT + V V [ i i ∈ ∈ ftenntnadra ubr n lhuhi sconsisten is it although and numbers real nonstandard the of I I f f etoohcst igevle etopi e,neutroso set, neutrosphic valued single set, neutrosophic i i ( [email protected] h nmmmapping infimum the u Let inf = ) { f Í i } i easet, a be ∈ I { fmappings of f i ( igeVle etoohcFilters Neutrosophic Valued Single u r : ) 1 I : iri Nordo, Giorgio Í i [0 = ∈ → I V , } f 1 I i 1] n by and , [email protected] , i ∈ ht o every for that, : I eteui nevlo h elnmes o every for numbers, real the of interval unit the be esn nvriy Italy. University, Messina Í f i → : Í 2 I rfMehmood, Arif [0 ednt by: denote we , → , 1] I 1 ntrneo h usual the of range unit u ht o every for that, dnurspi ultrafilter. neutrosophic ed ∈ n lgm nrdcdadsuidtento of notion the studied and introduced Alagamy and a xml 5 ,10]). 7, [5, example r etoohcfitrbs yanurspi induced neutrosophic a by base filter neutrosophic f rature. uino rcia elwrdpolm hnta of that than problems real-world practical of lution oooia spaces. topological evle etoohcst,i oevraieand versatile more is sets, neutrosophic valued le ofidaygnrlztoso uhntosrespect notions such of generalizations any find to spi oooia space. topological osophic Í elwrdpolm.Frsc esn n2010, in reason, a such For problems. real-world nnurspi esadsial xmlf them. exemplify suitably and sets neutrosophic on oa nvriySco -4 saaa,Pakistan Islamabad, I-14, Sector University ional ueosatos(e,freape 6,[] [4], [3], [6], example, for (see, authors numerous nhp hc a eueu o ute studies further for useful be may which onships oso le ae le n lrfitro single on ultrafilter and filter base, filter of ions ieykonntosadvr oua tools popular very and notions known widely e hto nutoitcfzytplgclspaces topological fuzzy intuitionistic of that d dutale nsnl audnurspi sets, neutrosophic valued single on ultrafilter nd sdfie by defined is t hoy hc loivlemn ed of fields many involve also which Theory, ets ete n eainhp.Mr rcsl,we precisely, More relationships. and perties nvriyHsa I aalna Morocco Casablanca, II, Hassan University toitcfzystitoue yAaasvin Atanassov by introduced set fuzzy itionistic ] loitoue h oino igevalued single of notion the introduced also 1], nah 2]a eeaiaino ohthe both of generalization a as [20] andache 3 2 bases. r adBroumi Said [email protected] , mrnah 2] eest h interval the to refers [20], Smarandache rspi oooia pc hc gen- which space topological trosophic u ia cecsadErhSciences, Earth and Sciences sical hcidcdmpig igevalued single mapping, induced phic rmapioohclpito view, of point philosophical a from t ∈ r ( U u = ) R sdfie by defined is e fra ubr,cnbe can numbers, real of set r . r V 3 ∈ i ∈ I I with , f i ( u r = ) we • i∈I fi the supremum mapping i∈I fi : Í → I that, for every u ∈ U is defined by i∈I fi (u)= fi(u) = sup {fi(u): i ∈ I}. Wi∈I W W

In particular,W if f and g are two mappings from Í to I, we denote their inﬁmum (which is the minimum) by

f ∧ g and their supremum (which is the maximum) by f ∨ g.

Í Í Deﬁnition 2.2. [21] Let Í be an initial universe set and A ⊆ , a single valued neutrosophic set over

(SVN-set for short), denoted by A = hÍ,µA, σA,ωAi, is a set of the form

Ae = {(u,µA (u) , σA (u) ,ωA (u)) : u ∈ Í}

Í Í where µA : Í → I, σA : → Ieand ωA : → I are the membership function, the indeterminacy function and the nonmembership function of A, respectively. For every u ∈ Í, µA (u), σA (u) and ωA (u) are said the degree of membership, the degree of indeterminacy and the degree of nonmembership of u, respectively.

Since I = [0, 1], it clearly results 0 ≤ µA (u)+ σA (u)+ ωA (u) ≤ 3, for every u ∈ Í. Í

Notation 2.3. The set of all the single valued neutrosophic sets over a universe Í will be denoted by SVN ( ). Í Deﬁnition 2.4. [20, 21] Let A = hÍ,µA, σA,ωAi and B = h ,µB, σB ,ωBi be two SVN-sets over the ⋐ universe set Í, we say that A is a neutrosophic subset (or simply a subset) of B and we write A B if, for

every u ∈ Í, it results µA (u)e≤ µB (u), σA (u) ≤ σB (eu) and ωA (u) ≥ ωB (u). We also say that A is contained in B or that B containse A. e e e e It is worth noting that the relation ⋐ satisﬁes the reﬂexive, antisymmetrical and transitive properties and e ⋐ e e so that (SVN (Í), ) forms a partial ordered set (poset) but not a totally ordered set (loset) as shown in the

following example.

Í Í Example 2.5. Let Í = {a,b,c} be a ﬁnite universe set and A = h ,µA, σA,ωAi , B = h ,µB , σB,ωBi be

two SVN-sets on SVN (Í) respectively deﬁned by the following tabular representations: e e

A µA σA ωA B µB σB ωB

Í Í a e 0.5 0.3 0.2 a e 0.2 0.2 0.2 b 0.6 0.2 0.3 b 0.4 0.1 0.6 c 0.4 0.2 0.7 c 0.8 0.3 0.1

Then A 6⋐ B because µA (a)=0.5 > 0.2 = µB (a) and B 6⋐ A because ωB (c)=0.1 < 0.7 = ωA (c) and so the SVN-sets A and B are not comparable.

e e e e Í Deﬁnition 2.6. [20, 21] Let A = hÍ,µ , σ ,ω i and B = h ,µ , σ ,ω i be two SVN-sets over the e e A A A B B B universe set Í, we say that A is a neutrosophically equal (or simply equal) to B and we write A = B if A ⋐ B and B ⋐ A. e e

e e e e Í Deﬁnition 2.7. [21] The SVN-set hÍ, 0, 0, 1i is said to be the neutrosophic empty set over and it is denoted e e e e

by ∅, or more precisely by ∅Í in case it is necessary to specify the corresponding universe set. Í Deﬁnition 2.8. [21] The SVN-set hÍ, 1, 1, 0i is said to be the neutrosophic absolute set over and it is e e

denoted by Í .

⋐ ⋐ Í

Evidently,e for every A ∈ SVN (Í), it results ∅ A . Í Deﬁnition 2.9. [20,21] Let A = hÍ,µA, σA,ωAi be a SVN-set over the universe set , the neutrosophic e e ∁ ∁

complement (or, simply, the complement) of A, denoted by A , is the SVN-set A = hÍ,ωA, 1 − σA,µAi that ∁ e is A = {(u,ωA (u) , 1 − σA (u) ,µA (u)) : u ∈ Í}. e e e ∁

∁ Í eIt is a simple matter to verify that for every A = h Í,µA, σA,ωAi ∈SVN ( ), it results A = A and,

∁ ∁ Í in particular, that Í = ∅ and ∅ = . e e e Remark 2.10. It is important to point out that, unlike in the crisp sets theory, the neutrosophic intersection of e e e e a SVN-set with its complement is not always the neutrosophic empty set, and the neutrosophic intersection of

a SVN-set with its complement is not always the neutrosophic absolute set. In fact, if we consider the universe Í set Í = {a,b} and the SVN-set on SVN ( ) deﬁned by the following tabular representations: 2

A µA σA ωA Í a e 0.2 0.6 0.8 b 1 0.5 0

we can easily verify that the neutrosophic intersection, A ⋓ A∁ and the neutrosophic union, A ⋒ A∁ are, respectively, given by the following tabular representations: e e e e

∁

A ⋓ A µAe⋓Ae∁ σAe⋓Ae∁ ωAe⋓Ae∁ Í a e e 0.2 0.4 0.8 b 0 0.5 1 and

∁

A ⋒ A µAe⋒Ae∁ σAe⋒Ae∁ ωAe⋒Ae∁ Í a e e 0.8 0.6 0.2 b 1 0.5 0

∁ ∁

and so that A ⋓ A 6= ∅ and A ⋒ A 6= Í. Í Proposition 2.11. [21] For every pair A = hÍ,µ , σ ,ω i and B = h ,µ , σ ,ω i of SVN-sets in e e e e e e A A A B B B ⋐ ∁ ⋐ ∁ SVN (Í), we have that A B iff B A . e e

Deﬁnition 2.12. [18] Lete eAi e bee a family of SVN-sets Ai = h Í,µAi , σAi ,ωAi i over a common i∈I

universe set Í, its neutrosophicn o union (or simply union), denoted by Ai, is the neutrosophic set e e i∈I

Í [ A = h ,µA, σA,ωAi where µA = i I µAi , σA = i I σAi , and ωA = [i I ωAi .

∈ ∈ ∈ e Í In particular, the neutrosophic union of two single SVN-sets A = hÍ,µA, σA,ωAi and B = h ,µB, σB ,ωBi, e W W V denoted by A ⋒ B, is the neutrosophic set deﬁned by h Í,µA ∨ µB , σA ∨ σB ,ωA ∧ ωBi. e e

Deﬁnition 2.13.e e[18] Let Ai be a family of SVN-sets Ai = h Í,µAi , σAi ,ωAi i over a common universe i∈I n o set Í, its neutrosophic intersection (or simply intersection), denoted by Ai, is the neutrosophic set e e i∈I

A = hÍ,µA, σA,ωAi where µA = µA , σA = σA , and ωA\\= ωA . In particular, the

i∈I i i∈I i ie∈I i Í neutrosophic intersection of two SVN-sets A = hÍ,µ , σ ,ω i and B = h ,µ , σ ,ω i, denoted by V AV A A W B B B e A ⋓ B, is the neutrosophic set deﬁned by hÍ,µA ∧ µB, σA ∧ σB,ωA ∨ ωBi.

e e

Í Í Deﬁnitione e 2.14. [21] Let A = h Í,µA, σA,ωAi and B = h ,µB , σB,ωBi be two SVN-sets over , we say that A and B are neutrosophically disjoint if A ⋓ B = ∅. On the contrary, if A ⋓ B 6= ∅ we say that A neutrosophically meets B (ore that A and B neutrosophicallye meet each other).

e e e e e e e e e Í Deﬁnition 2.15. [18] Let A, B ⊆ SVN (Í) be two nonempty families of SVN-sets over , we say that A e e e neutrosophically meets B (or that A and B neutrosophically meet each other) if every member of A neutro-

sophically meets any member of B, that is if for every A ∈ A and every B ∈B it results A ⋓ B 6= ∅. Í In particular, if C = hÍ,µC , σC ,ωCi is a SVN-set over which neutrosophically meets each member of the family A, we say that C neutrosophically meets A. e e e e e e The neutrosophic operators of union, intersection and complement satisfy many relations similar to those e

of crisp set theory, which are summarized in the following propositions. Í Proposition 2.16. [21] For every SVN-set A = hÍ,µA, σA,ωAi∈SVN ( ), we have: (1) A ⋒ A = A e (2) A ⋒ ∅ = A e e e e e e 3 Í (3) A ⋒ Í = (4) A ⋓ A = A e e e (5) A ⋓ ∅ = ∅ e e e

(6) A ⋓ Í = A

e e e Í Proposition 2.17. [21] For every pair A = hÍ,µ , σ ,ω i and B = h ,µ , σ ,ω i of SVN-sets in e e A A A B B B

SVN (Í), we have: (1) A ⋒ B = B ⋒ A e e (2) A ⋓ B = B ⋓ A

e e e e

Í Í Proposition 2.18. [21] For every triplet A = hÍ,µ , σ ,ω i, B = h ,µ , σ ,ω i and C = h ,µ , σ ,ω i e e e e A A A B B B C C C of SVN-sets in SVN (Í), we have: e e e (1) A ⋓ B ⋓ C = A ⋓ B ⋓ C (2) Ae ⋒ Be ⋒ Ce = Ae ⋒ Be ⋒ Ce

Í Í Propositione e 2.19.e [21] Lete Ae= hÍe,µA, σA,ωAi, B = h ,µB , σB,ωBi ∈ SVN ( ) be two SVN-sets over

a universe Í, then: (1) A ⋐ B iff A ⋓ B = A e e (2) A ⋐ B iff A ⋒ B = B

e e e e e Í Proposition 2.20. [21] For every pair A = hÍ,µ , σ ,ω i and B = h ,µ , σ ,ω i of SVN-sets in e e e e e A A A B B B

SVN (Í), we have: e e (1) A ⋒ A ⋓ B = A (2) Ae ⋓ Ae ⋒ Be = Ae

Í Í Propositione e 2.21.e [21]eLet A = hÍ,µA, σA,ωAi, B = h ,µB, σB ,ωBi, C = h ,µC , σC ,ωCi and D =

⋐ ⋐ Í hÍ,µD, σD,ωDi be SVN-sets in SVN ( ) such that A B and C D, then: e e e e (1) A ⋒ C ⋐ B ⋒ D e e e e (2) A ⋓ C ⋐ B ⋓ D e e e e

Proposition 2.22. [21] Let Ai be a family of SVN-sets Ai = h Í,µAi , σAi ,ωAi i over a common e e e e i∈I n o ⋐ ⋐ universe set Í, then, for every i ∈ I, we have that Ai Ai Ai. e i∈I e i∈I

\\ [[ Í Proposition 2.23. [21] Let respectively A = hÍ,µA, σeA,ωAie ∈ SVN ( )ebe a SVN-set and Bi ⊆

i∈I

Í Í SVN (Í) be a family of SVN-sets B = h ,µ , σ ,ω i over a common universe set , then wen have:o i e Bi Bi Bi e (1) A ⋓ Bi = A ⋓ Bi i∈I i∈I e [[ [[ (2) Ae ⋒ Bei = Ae ⋒ Bei i∈I i∈I

\\ \\ Í Propositione 2.24. e[21] Let Ai e ⊆e SVN (Í) be a family of SVN-sets Ai = h ,µAi , σAi ,ωAi i over a i∈I common universe set Í, it results:n o ∁ e e ∁ (1) Ai = Ai i∈I i∈I [[ ∁ \\ e e∁ (2) Ai = Ai i∈I i∈I

\\ [[

Î Í Î

Deﬁnition 2.25.e [12, 19] Lete f : Í → be a mapping between two universe sets and , and A = Í hÍ,µA, σA,ωAi be a SVN-set over . The neutrosophic image of A by f, denoted by f A , is the SVN-set e over Î deﬁned by: e e e f A = hÎ ,f (µA) ,f (σA) ,f (ωA)i e e 4

Î Î where the mappings f (µA): Î → I, f (σA): → I and f (ωA): → I are deﬁned respectively by:

inf µ (u) if f −1 ({v}) 6= ∅ −1 A f (µ ) (v) = u∈f ({v}) , A   0 otherwise  inf σ (u) if f −1 ({v}) 6= ∅ −1 A f (σ ) (v) = u∈f ({v}) , A   0 otherwise

−1  sup ωA (u) if f ({v}) 6= ∅ f (ω ) (v)= u∈f −1({v}) A   1 otherwise

for every v ∈ Î . 

Î Í Î Deﬁnition 2.26. [12, 19] Let f : Í → be a mapping between two universe sets and , and B =

−1 Î hÎ ,µB, σB ,ωBi be a SVN-set over . The neutrosophic inverse image of B by f, denoted by f B , is e the SVN-set over Í deﬁned by: e e e −1 −1 −1 −1 f B = Í,f (µB) ,f (σB ) ,f (ωB)

−1 −1 −1

Í Í where the mappings f (µB ):e Í →e I, f (σB ): → I and f (ωB): → I are deﬁned respectively by: −1 f (µB) (u) = µB (f(u)) ,

−1 f (σB ) (u) = σB (f(u)) ,

−1 f (ωB) (u)= ωB (f(u))

for every u ∈ Í. Remark 2.27. Let us note that the notation used to denote neutrosophic images and neutrosophic inverse

images implicitly underlines the fact that they are not real images or counterimages since the mapping f is

Î Í Î deﬁned between the universe sets Í and while the deﬁnition refers to the sets SVN ( ) and SVN ( )

of all the SVN-sets of that respective universe sets. More properly, this means that we consider a mapping

Î Í Î

f : SVN (Í) → SVN ( ) induced by f : → over the corresponding sets of all SVN-sets.

Î Í Î Example 2.28. Let Í = {a,b,c} and = {α,β,γ,δ} be two ﬁnite universe sets, f : → be a mapping

e Í

deﬁned by f(a)= f(c)= β and f(b)= α. Let us consider a SVN-set A = hÍ,µA, σA,ωAi on SVN ( ) and Î a SVN-set B = hÍ,µB , σB,ωBi on SVN ( ) respectively deﬁned by the following tabular representations: e e

A µA σA ωA B µB σB ωB

Í Î a e 0.5 0.3 0.2 α e 0.1 0.7 0.9 b 0.6 0.2 0.3 β 0.5 0.3 0.1 c 0.4 0.2 0.7 γ 0.8 0.4 0.2 δ 0.4 0.6 0.8

Then the neutrosophic image f A = h Î ,f (µA) ,f (σA) ,f (ωA)i of A by f and the neutrosophic inverse −1 −1 −1 −1 image f B = Í,f (µ ) ,f (σ ) ,f (ω ) of B by f are given by: Be e B B e e e e f A f (µA) f (σA) f (ωA)

Î α e e 0.6 0.2 0.3 β 0.4 0.2 0.7 γ 0 0 1 δ 0 0 1

5 and:

−1 −1 −1 f −1 B f (µB ) f (σB) f (ωB)

Í a e e 0.5 0.3 0.1 b 0.1 0.7 0.9 c 0.5 0.3 0.1

respectively.

Î Í Î Í

Proposition 2.29. [19] Let f : Í → be a mapping between two universe sets and , A = h ,µA, σA,ωAi

Î Î be a SVN-set over Í and B = h ,µB, σB,ωBi be a SVN-set over , then the following hold:

e Î (1) f ∅Í = ∅ e

−1 Í (2) fe e ∅Î =e ∅

−1 Í (3) fe eÎ = e (4) Ae ⋐ fe−1 f eA and the identity holds if f is injective (5) fe f −e1 B e ⋐e B and the identity holds if fe is surjective

∁ ∁ (6) fe−1e B e= f −1eB e

Î Í Î Í

Propositione e 2.30. [19]e Letef : Í → be a mapping between two universe sets and , Ai = h ,µAi , σAi ,ωAi i

Î Î (with i =1, 2) be SVN-sets over Í and Bi = h ,µBi , σBi ,ωBi i (with i =1, 2) be SVN-sets over , then the following hold: e ⋐ ⋐ e (1) if A1 A2 then f A1 f A2 ⋐ −1 ⋐ −1 (2) if Be1 Be2 then fe e B1 e f e B2

Î Í Î Propositione 2.31.e [19]eLet f e: Í → e be ae mapping between two universe sets and , Ai be a family i∈I

n o

Í Î of SVN-sets Ai = h Í,µAi , σAi ,ωAi i over and Bi be a family of SVN-sets Bi = h ,µBi , σBi ,ωBi i i∈I e over Î , then the following hold: n o e e e (1) f Ai = f Ai i∈I i∈I [[ ⋐ [[ (2) fe Aei fe Aei and the identity holds if f is injective i∈I i∈I −1\\ \\ −1 (3) f Ai = f Ai e i∈eI i∈eI e e [ [ −1[ [ −1 (4) fe Aei = fe Aei i∈I i∈I \\ \\ 3 Singlee Valuede Neutrosophice e Filters

In [18], A.A. Salama and H. Alagamy introduced the notion of filter on neutrosophic set. That study, unfortunately, is rather incomplete and certainly not exhaustive because it does not cover the neutrosophic equivalent of many fundamental notions and properties such as those concerning the lower or upper bound of two filter bases, the proof of the ultrafilter’s existence, etc. For this reason, together with the fact that – as already men- tioned – the class of the single valued neutrosophic sets lends itself with greater ductility to resolution of real life problems and applications, we give here a comprehensive presentation about theory of filters on SVN-sets

which includes new notions and properties that are not present in that article. Í Definition 3.1. Let A ⊆ SVN (Í) be a nonempty family of SVN-sets over the universe set , we say that F is a single valued neutrosophic filter subbase (SVN-filter subbase for short, or simply a filter sub-

base) on SVN (Í) if it has the ﬁnite intersection property, i.e. if for every A1,... An ∈ A (with Ai = n ∗

Í N h ,µAi , σAi ,ωAi i for every i =1,...n, and n ∈ ), it results Ai 6= ∅. i=1 f f e \\ 6 e e Í Deﬁnition 3.2. A nonempty family F ⊆ SVN (Í) of SVN-sets over the universe set is single valued

neutrosophic filter base (SVN-filter base for short, or simply a filter base) on SVN (Í) if the following two conditions hold: (i) ∅ ∈F/ (ii) for every F, G ∈F there exists some H ∈F such that H ⋐ F ⋓ G.

e Í Definition 3.3. A nonempty family F ⊆ SVN (Í) of SVN-sets over the universe set is single valued e e e e e e neutrosophic filter (SVN-filter for short or simply a filter) on SVN (Í) if: (i) F is a SVN-filter base, and

⋐

Í Í (ii) for every F = hÍ,µF , σF ,ωF i∈F and every A = h ,µA, σA,ωAi ∈ SVN ( ) such that F A it follows that A ∈F. e e e e An equivalent deﬁnition of SVN-ﬁlter is given by the following proposition.

e Í Proposition 3.4. A nonempty family F ⊆ SVN (Í) of SVN-sets over the universe set is a SVN-ﬁlter on

SVN (Í) if and only if the following three conditions hold: (i) ∅ ∈F/ (ii) for every F, G ∈F, it follows that F ⋓ G ∈F e ⋐ (iii) for every F ∈F and every A ∈ SVN (Í) such that F A we have that A ∈F. e e e e

Proof. Let F bee a SVN-filter overe Í. Evidently, conditionse (i)e and (iii) are satisfied.e Let F, G ∈ F. By condition (ii) of the definition of SVN-filter base, there exists some H ∈F such that H ⋐ F ⋓ G and so, by the peculiar condition of SVN-filter, it also follows that F ⋓ G ∈F. e e

Conversely, if F is a nonempty family of SVN-sets over the universee set Í satisfyinge conditionse e (i), (ii) and (iii), it is enough to note that (ii) implies condition (iei) ofe Deﬁnition 3.2 and so that F is SVN-ﬁlter over

Í. It is a simple routine to show that the condition (ii) of the Proposition 3.4 can be generalized to any ﬁnite

neutrosophic intersection as it is pointed out in the following corollary. Í Corollary 3.5. A nonempty family F ⊆ SVN (Í) of SVN-sets over the universe set is a SVN-ﬁlter on

SVN (Í) if and only if the following three conditions hold: (i) ∅ ∈F/

(ii) for every F1,... Fn ∈F, it follows that Fi ∈F e i∈I \\ ⋐ (iii) for every Fe ∈F eand every A ∈ SVN (Í) suche that F A we have that A ∈F. Remark 3.6. Evidently every SVN-filter is a SVN-filter base and every SVN-filter base is a SVN-filter sub-

e e e e e Í

base. It is also trivial to note that every SVN-ﬁlter on SVN (Í) contains .

Í Í

Example 3.7. Let Í = {a,b,c} be a ﬁnite universe set and let F = F, G, H, ⊆ SVN ( ) be a set

Í Í Í Í of the SVN-sets F = hÍ,µF , σF ,ωF i , G = h ,µG, σG,ωGi , H = h n,µH , σH ,ωHoi and = h , 1, 1, 0i respectively deﬁned by the following tabular representations: e e e e e e e e

F µF σF ωF G µG σG ωG

Í Í a e 0.4 0.3 0.2 a e 0.7 0.1 0.3 b 0.8 0.2 0.1 b 0.9 0.2 0.2

c 0.6 0.5 0.4 c 0.2 0.6 0.5

Í Í Í

H µH σH ωH Í µ σ ω

Í Í a e 0 0.4 0.8 a e 1 1 0 b 0.5 0.3 0.6 b 1 1 0 c 0.1 0.8 0.5 c 1 1 0

7 It is easy to check that F is a SVN-ﬁlter base on SVN (Í). However, by using Proposition 3.4, we have that F is not a SVN-ﬁlter since, for example, the neutrosophic intersection W = F ⋓ G of F, G ∈F computated as shown in the following tabular representation: f e e e e

W µW σW ωW Í a f 0.4 0.3 0.3 b 0.8 0.2 0.2 c 0.2 0.6 0.5

is a SVN-set over Í which does not belong to the family F.

Notation 3.8. The set of all the single valued neutrosophic ﬁlters over the universe set Í will be denoted by

F(Í).

Definition 3.9. Let F and G be two SVN-filter bases on SVN (Í), we say that G is finer than F if F ⊆ G. We also say that F is coarser than G.

Let us note that the set F(Í) equipped with the ﬁness relation ⊆ forms a poset although it is not a loset.

Proposition 3.10. Let S be a SVN-ﬁlter subbase on SVN (Í) and let

n ∗ ∗

Í N S = Ai : Ai = h ,µAi , σAi ,ωAi i ∈ S, n ∈ (i=1 ) \\ f f ∗ be the set of all ﬁnite neutrosophic intersections of S. Then S is a SVN-ﬁlter base on SVN (Í) containing S, i.e. S ⊆ S∗.

Proof. Let S be a SVN-filter subbase over Í. Since, by Definition 3.1, S has the finite intersection property, it is evident that S∗ satisfies the condition (i) of Definition 3.2. Furthermore, for every A, B ∈ S∗, there exist

∗ Í

N Í some m,n ∈ , Ai = h ,µAi , σAi ,ωAi i ∈ S (with i = 1,...m) and Bj = ,µBj , σBj ,ωBj ∈ S m n e e ∗ (with j = 1,...n) such that A = Ai and B = Bi and so, by definition of S , it is clear that f i=1 j=1 f A ⋓ B ∈ S∗. Thus, S∗ also satisfies\\ condition (ii) of\\ Definition 3.2 and it is a SVN-filter base. Finally, e f e f for every A ∈ S, since by Proposition 2.16 (4) it results A ⋓ A = A, we have that A ∈ S∗ and hence that Se ⊆ Se∗.

e e e e ∗ e Definition 3.11. Let S be a SVN-filter subbase on SVN (Í) , the SVN-filter base S defined in the proposition above is called the neutrosophic filter base generated by its neutrosophic filter subbase S.

Proposition 3.12. Let F be a SVN-ﬁlter base on SVN (Í) and let

⋐

Í Í hFi = A = hÍ,µA, σA,ωAi∈SVN ( ): ∃F = h ,µF , σF ,ωF i∈F, F A n o

be the set of all neutrosophice supersets of members of F, thene hFi is a SVN-ﬁlter on SVNe (Í)econtaining F, i.e. F ⊆ hFi.

Proof. Let F be a SVN-filter base over Í. Evidently, every member of hFi is nonempty and for every A, B ∈ hFi, there exist some F, G ∈F such that F ⋐ A and G ⋐ B. So, by Proposition 2.21(2), it follows that F ⋓ G ⋐ A ⋓ B and, by condition (ii) of Definition 3.2, we have that there exists some H ∈F such that He ⋐e F ⋓ G which implies thateH e⋐ A ⋓ B and hencee thate A ⋓ Be ∈ hFie . Furthermore, for every A ∈ hFi and ⋐ ⋐ B ∈e SVNe(Í)esuche that A B, we have that there exists some F ∈ F such that F A and,e consequently, Fe ⋐ Be whiche means that B ∈e hFi.e Thus,e hFi satisfies alle thee conditions of Proposition 3.4 ande so it is a

SVN-ﬁltere on SVN (Í). Furthemore,e e we have that F ⊆ hFi sincee it is clear that fore everye A ∈ F, it results Ae ⋐ Aeand hence A ∈ hFi.e e

Definition 3.13. Let be a SVN-filter base on Í , the SVN-filter defined in the proposition above e e e F SVN ( ) hFi is called the neutrosophic filter completion of F. Additionally, we say that F is a neutrosophic filter base for the SVN-filter hFi.

Proposition 3.14. If F and G are two SVN-ﬁlter bases on SVN (Í) such that F ⊆ G then hFi ⊆ hGi.

8 Proof. In fact, for every A ∈ hFi we have that there exists some F ∈F such that F ⋐ A and since F ⊆ G it also follows that F ∈ G and hence that A ∈ hGi. e e e e

Definition 3.15. Í eLet F and G be two SVN-filtere bases on SVN ( ). We say that F and G are equivalent if they are both neutrosophic filter base for the same SVN-filter, that is if hFi = hGi. Remark 3.16. It is a simple matter to verify that: ∗ (1) if S is a SVN-filter base on SVN (Í) then S = S, ∗ (2) if F is a SVN-filter on SVN (Í) then F = F and hFi = F.

∗ Í Proposition 3.17. If S is a SVN-filter subbase on SVN (Í) then hS i is the coarsest SVN-filter on SVN ( ) containing S, i.e. such that: (i) S ⊆ hS∗i, and ∗ (ii) for every SVN-filter H on SVN (Í) such that S ⊆ H it follows that hS i ⊆ H.

Proof. Let S be a SVN-filter subbase over Í. Condition (i) is trivially verified since by Propositions 3.10 and ∗ ∗ 3.12, we immediately have that S ⊆ S ⊆ hS i. Now, suppose that H is a SVN-filter on SVN (Í) such that n ∗ ∗ ⋐ S ⊆ H and let A ∈ hS i. Then, for some n ∈ N , there exist B1,... Bn ∈ S such that Bi A. Since i=1 n S ⊆ H, it follows that every Bi ∈ H (for i = 1,...n) and, by Corollary 3.5, we obtain\\ that Bi ∈ H e e e e i=1 e and therefore that A ∈ H which proves condition (ii) and concludes our proof. \\ e e ∗

Definition 3.18. Í Lete S be a SVN-filter subbase on SVN ( ), the SVN-filter hS i defined in the proposition

above is called the neutrosophic filter generated by its neutrosophic filter subbase S. Í In particular, if A = hÍ,µA, σA,ωAi is a nonempty SVN-set over the universe set , the SVN-filter hS∗i generated by the singleton S = A , being the coarser (smallest) SVN-set containing S, coincides e with the family of all single valued neutrosophicn o superset of A, is denoted simply with A and is called the e SVN-principal filter generated by A. D E e e

Proposition 3.19. Í If F is a finite SVN-filtere base on SVN ( ), then the neutrosophic filter completion hFi is a SVN-principal filter over Í.

Proof. Let F = F1,... Fn (with Fi = hÍ,µFi , σFi ,ωFi i, i = 1,...n) be a finite SVN-filter base and let n G = Fi. Wen will showo that G = G is an equivalent SVN-filter base for the SVN-filter hFi. In fact, i=1 e e e since\F\ is a SVN-filter base, by Remarkn 3.16(1),o we have that G ∈F ∗ = F. Thus G⊆F and by Proposition 3.14e it followse that hGi ⊆ hFi. On thee other hand, for every A ∈ hFi, we have that there exists some n j =1,...n such that Fj ⋐ A and since by Proposition 2.22 wee know that G = Fi ⋐ Fj , it follows that e i=1 G ⋐ A and so that A ∈ hGi. This proves that hFi ⊆ hGi and consequently that\\hFi = hGi = G , i.e. that e e e e e hFi is a SVN-principal filter generated by G. D E e e e e

Proposition 3.20. Í

Let F and G be two SVN-ﬁltere bases on SVN ( ) and let Í F ∧ G = F ⋒ G : F = hÍ,µF , σF ,ωF i∈F, G = h ,µG, σG,ωGi ∈ G n o

be the set of all neutrosophice unionse ofe the members of F and G, thene F ∧ G is a SVN-filter base on SVN (Í). Í Additionally, if F and G are SVN-filter over Í then F ∧ G is a SVN-filter on SVN ( ) which is coarser than both F and G, i.e. F∧G⊆F and F∧G⊆G.

Proof. If F and G are two SVN-ﬁlter bases on SVN (Í), for every F ∈ F and G ∈ G, it is evident that

F ⋒ G 6= ∅ and so that F ∧ G verifies the condition (i) of Definition 3.2. Moreover, for every A1, A2 ∈F∧G, we have that there exist some F1, F2 ∈F and G1, G2 ∈ G such that A1e= F1 ⋒ G1 ande A2 = F2 ⋒ G2. Since ⋐ ⋐ Fe ande G aree SVN-filter bases, there exist F3 ∈ F and G3 ∈ G such that F3 F1 ⋓ F2 and eG3 e G1 ⋓ G2. ⋐ So, F3 ⋒ G3 ∈F∧G and, bye usinge Propositione e 2.23, it results F3e⋒ G3e eF1 ⋓ Fe2 ⋒ eG1 ⋓e G2 = e e e e e e e e F ⋒ G ⋓ G ⋓ F ⋒ G ⋓ G ⋐ F ⋒ G ⋓ F ⋒ G = A ⋓A and this means that F ∧G 1 e 1e 2 2 1 2 1 1 2 e2 e 1 e2 e e e e e e e e e e e9 e e e e also verifies condition (ii) of Definition 3.2 and hence that it is a SVN-filter base on SVN (Í). ⋐ Now, suppose that F and G are are SVN-filters and let F ∈F, G ∈ G and A ∈ SVN (Í) such that F ⋒G A. Since F is a SVN-filter and F ⋐ F ⋒ G ⋐ A, we have that A ∈F. Analogously, by the fact that G is a SVN- filter and G ⋐ F ⋒ G ⋐ A, we have that A ∈ G. Thuse A = Ae⋒ A ∈F∧Ge and this proves thateF ∧e G ise a

SVN-ﬁlter over Í. e e e e e In such a situation,e e fore everye F ⋒ G ∈F∧Ge , with F e∈ F eand eG ∈ G, being F ⋐ F ⋒ G, we have that F ⋒ G ∈F and so that F∧G⊆F. In a similar way, one can also proves that F∧G⊆G. e e e e e e e

Proposition 3.21. Let F and G be two SVN-ﬁlter bases on SVN (Í) such that F nuetrosophically meets G e e

and let Í F ∨ G = F ⋓ G : F = hÍ,µF , σF ,ωF i∈F, G = h ,µG, σG,ωGi ∈ G be the set of all neutrosophicn intersections of the members of F and G, then F ∨ G is a SVN-ﬁltero base on e e e e

SVN (Í). Í Additionally, if F and G are SVN-filters over Í then F ∨ G is a SVN-filter on SVN ( ) which is finer than both F and G, i.e. F⊆F∨G and G⊆F∨G. Proof. Since F neutrosophically meets G, it is clear that ∅ ∈F∨G/ , i.e. that F ∨ G verifies the condition (i) of Definition 3.2. Moreover, for every A1, A2 ∈F∨G, we have that there exist some F1, F2 ∈ F and G1, G2 ∈ G such that A1 = F1 ⋓ G1 and A2 = F2 ⋓ G2e. Since F and G are SVN-filter bases, there exist ⋐ ⋐ F3 ∈ F and G3 ∈ G such that F3 F1 ⋓e F2eand G3 G1 ⋓ G2. So, F3 ⋓ G3 ∈F∨Ge ande it results ⋐ Fe3 ⋓eG3 F1 ⋓ F2 ⋓e G1 e⋓ G2 e = F1e⋓ G1 e⋓ Fe2 ⋓ G2 = A1 ⋓ A2 and this means that F ∨ G also e e e e e e e e e e verifies the condition (ii) of Definition 3.2 is verified and hence that it is a SVN-filter base on SVN (Í). e e e e e e e e e e e e ⋐ Now, suppose that F and G are SVN-filters and let F ∈F, G ∈ G and A ∈ SVN (Í) such that F ⋓ G A. Since F = F ⋒ F ⋓ G ⋐ F ⋒ A and F is a SVN-filter, we have that F ⋒ A ∈ F. In a similar way, since e e e e e e G ⋐ G ⋒ A andG is a SVN-filter, it follows that G ⋒ A ∈ G and hence that F ⋒ A ⋓ G ⋒ A ∈F∨G. e e e e e e e e By Proposition 2.23(2) and Proposition 2.19(2) we have that F ⋒ A ⋓ G ⋒ A = F⋓ G ⋒A = A and e e e e e e e e e

so that A ∈F∨G which proves that F ∨ G is a SVN-ﬁlter over Í. In such a situation, for every F ∈F and for any ﬁxed G ∈ G, wee havee that eF ⋓ eG ⋐ F ewitheF ⋓ Ge ∈F∨Ge and so thate also F ∈ F∨G which proves that F ⊆F∨G. In a similar way, one can also proves that G⊆F∨G. e e e e e e e

Í Í Proposition 3.22. Let F be a SVN-ﬁlter base on SVN (Í) and A = h ,µA, σA,ωAi be a SVN-set over which neutrosophically meets F, then the set F ∨ A = F ⋓ A : F ∈F of all neutrosophic intersections e

of A with the members of F is a SVN-filter base over Ín. Additionally, if oF is a SVN-filter then F ∨ A is a e e e e SVN-filter on SVN (Í) which is finer than F, i.e. F⊆F∨ A. e e Proof. Since by hypothesis F neutrosophically meets A = ehÍ,µA, σA,ωAi it is evident that ∅ ∈/ F ∨ A. Moreover, for every G1, G2 ∈ F ∨ A there exist F1, F2 ∈F such that G1 = F1 ⋓ A and G2 = F2 ⋓ A. Since ⋐ F is a SVN-filter base, there exists some F3 ∈F such thate such that F3 F1 ⋓ F2. So, let G3 =eF3 ⋓ A, wee ⋐ note that G3 ∈ F ∨ Aeande it results Ge3 G1 ⋓ Ge2 whiche proves that Fe ∨ A ise a SVN-filtere e basee on SVNe (Í).

⋐ Í Now, suppose that F is a SVN-ﬁlter overeÍ and let F ∈ F and B ∈e SVNe( ) esuch that Fe⋓ A e B,e with B ⋐ A. Sincee F = eF ⋒ F ⋓ A ⋐e F ⋒eB ande F is a SVN-ﬁlter, we havee that F ⋒ B ∈F and hence that e e e e e F ⋒ B ⋓ A ∈ F ∨ A. Moreover, by Proposition 2.23(2) and Proposition 2.19(2), B ⋐ A and F ⋓ A ⋐ B e e e e e e e e e e imply that F ⋒ B ⋓ A = F ⋓ A ⋒ B ⋓ A = F ⋓ A ⋒ B = B and hence that B ∈ F ∨ A which e e e e e e e e e

proves thatF ∨ A is a SVN-ﬁlter over Í. In such a situation,e e for everye Fe ∈ Fe, we havee thate F ⋓eA ∈e F ∨ eA ande since F ⋓ A ⋐ eF and F ∨e A is a SVN-ﬁlter, it followse that also F ∈ F ∨ A and hence that F⊆F∨ A.

e e e e e e e e

Î Í Î Proposition 3.23. Let Í be a mapping between two universe sets and and let be a SVN-ﬁlter

f : →e e e F Í base on SVN (Í). Then, the family f (F)= f F : F ∈F of all neutrosophic images on SVN ( ) by

the mapping f is a neutrosophic ﬁlter base onnSVN (Î ). o

e e e e

Î Í

Proof. Let us consider a mapping f : Í → and a SVN-filter base F over . Evidently, for every A ∈ F, Î being A 6= ∅Í , by Proposition 2.29(1), we also have that f F 6= ∅ and this means that f (F) satisfies e e e 10 e e e e the condition (i) of Definition 3.2. Moreover, for every G1, G2 ∈ f (F), there are some F1, F2 ∈ F such that G1 = f F1 and G2 = f F2 . Since F is a SVN-filter base, there exists some F3 ∈ F such that e e e e e F ⋐ F ⋓ F . Hence, said G = f F , we have that G ∈ f (F), while by Proposition 2.30(1) and 3 e 1 e 2 e e e3 e 3 3 e Proposition 2.31(2), we obtain that G = f F ⋐ f F ⋓ F ⋐ f F ⋓ f F = G ⋓ G . This e e e e e3 e 3 1e 2 e 1 2 1 2 shows that f (F) satisfies also the condition (ii) of Definition 3.2 and conclu des our proof. e e e e e e e e e e e e e 4 Single Valued Neutrosophic Ultrafilters

In this section we consider the class of SVN-ultraﬁlters, ﬁrst proving that it is not empty and then establishing some characterizations and properties that we think may be useful for further investigations.

Definition 4.1. Let U be a SVN-filter base on SVN (Í), we say thatit is a SVN-ultrafilter if it is maximal in

Í Í the partial ordered set (F(Í), ⊆) of all SVN-ﬁlters over , that is if there is no SVN-ﬁlter on SVN ( ) strictly

ﬁner than U, or, equivalently, if any other SVN-ﬁlter containing U coincides with U. Í

Proposition 4.2. Every SVN-ﬁlter base on SVN (Í) is contained in some SVN-ultraﬁlter over . Í

Proof. Let F be a SVN-ﬁlter base over Í and let us consider the set S = {G ∈ F( ): F ⊆G} of all SVN- Í ﬁlters on SVN (Í) containing F. Obviously S is a nonemptysubset of the poset (F( ), ⊆) because hFi ∈ S.

Now, let C be a nonempty chain of S and deﬁne M = G∈C G as the union of all SVN-ﬁlters of C. Now, we

have that M is a SVN-filter over Í because it satisfies all the conditions of Definitions 3.3 and 3.2, that is: S (i) For every G ∈ M, we have that there exists some G ∈ C such that G ∈ G and since G is a SVN-filter, we immediately have that G 6= ∅. e e (ii) For every G1, G2 ∈M, there are some G1, G2 ∈ C such that G1 ∈ G1 and G2 ∈ G2. Since C is a chain, e e i.e. a totally ordered subset of (S, ⊆), G1 and G2 must be comparable and, without loss of generality, we can supposee thate G1 ⊆ G2. Thus, G1, G2 ∈ G2 and since G2 ise a SVN-filter,e there exists some G3 ∈ G2 ⋐ ⋓ such that G3 G1 G2 with G3 ∈ G2 ⊆ G∈C G = M. e e ⋐ e (iii) For every G ∈M, and A ∈ SVN (Í) such that G A, there exists some G ∈ C such that G ∈ G and e e e e S since G is a SVN-filter, we immediately have that also A ∈ G and hence that A ∈G⊆ G∈C G = M. e e C e e S e Moreover, being F ⊆ G, for every G ∈ , we have that F ⊆ G∈C G = M and so that MS ∈ is an upper bound for C. Hence, by the Zorn’s Lemma (see [11]), it followse that (S, ⊆) has a maximale element, that is a

SVN-ultraﬁlter U containing F. S Í

Proposition 4.3. Let U be a SVN-ﬁlter base on SVN (Í). Then U is a SVN-ultraﬁlter over if and only if Í

for every A = hÍ,µA, σA,ωAi∈SVN ( ) which neutrosophically meets U we have that A ∈U. Í Proof. Supposee that U is a SVN-ultrafilter and consider a SVN-set A = hÍ,µA, σA,ωAi ∈e SVN ( ) which neutrosophically meets U, By Proposition 3.22, we have that U ∨ A is a SVN-filter such that U⊆U∨ A but, being U a SVN-ultrafilter, it must necessarily follow that U ∨ A = Ueand so that A ∈U. Conversely, suppose that every SVN-set which neutrosophically meetse the SVN-filter base U belongs toeU. In

⋐ Í order to prove first that U is a SVN-filter over Í, let U ∈ U ande A ∈ SVN ( ) suche that U A. We claim that A meets U. In fact, for each V ∈ U, since U is a SVN-filter base, we have that there exist some W ∈ U such that W ⋐ U ⋓ V ⋐ U ⋐ A and, by Propositione 2.21(2), wee have that W ⋓ V ⋐ A ⋓e V . One the other hand,e being also W ⋐ U ⋓V ⋐ Ve, by Proposition 2.19(1), we have W ⋓V = W and hence that W ⋐fA⋓V , with W ∈f U. Thus,e bye Definitione e 3.2, it follows that A ⋓ V 6= ∅ and, by hypothesis,f e wee obtaine that A ∈ U,

which proves thatfU is ae SVN-ﬁltere e on SVN (Í). f e f f e e

Moreover,f in order to prove that U is SVN-ultraﬁltere overeÍ, suppose,e by contradiction, that there ise some

SVN-ﬁlter M over Í such that U⊂M and so that there exists some M ∈M such that M/∈ U. Hence, by hypothesis, we have that M does not meet U, i.e. that there exists some U ∈ U such that U ⋓ M = ∅ but, being M ∈M and U ∈U⊂M, this contradicts the fact that M is a SVN-ﬁlterf and concludesf our proof.

f e e f e

Í Í Corollary 4.4. Í f If Ueis a SVN-ultrafﬁlter on SVN ( ), then for every A = h ,µA, σA,ωAi ∈ SVN ( ) it results A ∈U or A∁ ∈U. e e e 11

∁ Í Proof. Let A = hÍ,µA, σA,ωAi ∈ SVN ( ) an suppose, by contradiction, that A/∈ U and A ∈/ U. By Proposition 4.3, we should have that neither A does not neutrosophically meet U nor A∁ does not neutrosoph- ∁ ically meet Ue, i.e. that there are some U1, U2 ∈ U such that U1 ⋓ A = ∅ and U2 e⋓ A = ∅.e Since U is a ⋐ SVN-filter base, it follows that there exists somee U3 ∈U such that U3 U1 ⋓ U2. Hence,e by Proposition 2.22, ⋐ ⋐ ⋐ we have that U3 U1 and U3 U2 and,e bye Proposition 2.21(2),e it alsoe followse e that Ue3 ⋓ Ae U1 ⋓ A and ∁ ⋐ ∁ ∁ U3 ⋓A U2 ⋓A . Hence, U3 ⋓A = ∅ and U3 ⋓Ae = ∅. Thus, bye Propositionse e 2.16 (4), 2.20 and 2.23(1),we e e e e ∁ e e e ∁e have that U3 = U3 ⋓ U3 = U3 ⋒ U3 ⋓ A ⋓ U3 ⋒ U3 ⋓ A = U3 ⋓ U3 ⋓ A ⋒ U3 ⋓ A = e e e e e e e e e e U ⋓ ∅ ⋒ ∅ = ∅ which is a contradiction to the fact thatU ∈U and U is a SVN-filter. 3 e e e e e e e e3 e e e e e e Remarke e 4.5.e In thee classical filter’s theory on crisp sets, thee condition of Corollary 4.4 is a ultrafilters charac- terization, but in the case of filters on single valued neutrosophic sets the converse does not hold. This is due to the fact that, as pointed out in Remark 2.10, in general, the neutrosophic intersection of a SVN-set with its neutrosophic complement is not the neutrosophic empty set, and it can be confirmed by the following example.

Example 4.6. Let Í = {a,b,c} be a ﬁnite universe set and consider the SVN-principal ﬁlter F = A =

D E

Í Í A, B, C, Í generated by A, where the SVN-sets A = h ,µ , σ ,ω i , B = h ,µ , σ ,ω i , C =

A A A B B B e

Í Í nhÍ,µC , σC ,ωoCi and = h , 1, 1, 0i are respectively deﬁned by the following tabular representations: e e e e e e e e e

A µA σA ωA B µB σB ωB

Í Í a e 0.8 0.4 0 a e 0.9 0.5 0 b 0 0.1 0.9 b 0.8 0.6 0.1

b 0 0 1 c 0 0.2 0.3

Í Í Í

C µC σC ωC Í µ σ ω

Í Í a e 1 0.5 0 a e 1 1 0 b 0 0.2 0.8 b 1 1 0 c 0.7 0.6 0.5 c 1 1 0

⋐ ⋐ After observing that A B and A C, one can easily check that A is a SVN-ultraﬁlter on SVN (Í).

However, if we consider the SVN-set Z = h Í,µZ , σZ ,ωZ i deﬁned byD theE following tabular representation: e e e e e e

Z µZ σZ ωZ Í a e 0 0 1 b 0.7 0.3 0.5 c 0.8 0.4 0.6

it is a trivial matter to verify that neither Z nor its complement Z ∁ belong to A . D E e e e 5 Conclusions and Perspectives

In this paper we have introduced the notions of SVN-filter base, SVN-filter and SVN-ultrafilter on the set

SVN (Í) of all the single valued neutrosophic sets and we have investigated some of their fundamental properties and relationships concerning, in particular, the SVN-filter and SVN-filter base generated by some neutrosophic filter subbase, the neutrosophic filter completion, the principal SVN-filters, the infimum and the supremum of two SVN-filter bases, the image of a SVN-filter base by a neutrosophic induced mapping between two universe sets, the existence of SVN-ultrafilters and some their characterizations. We expect to continue the research on these topics by investigating supplementary features and properties related to SVN-filters and we hope that this comprehensive study will stimulate further developments in the theory of Neutrosophic Sets and will provide useful tools to demonstrate in an elegant and concise way new

12 properties for the class of Single Valued Neutrosophic Topological Spaces.

Acknowledgements The authors would like to express their sincere gratitude to the Anonymous Referees for their valuable suggestions and comments which were precious in improving of the paper.

References

[1] Al-Omeri W., Jafari S. On Generalized Closed Sets and Generalized Pre-Closed Sets in Neutrosophic Topological Spaces. Mathematics 7 (1), pp. 1-12. 2019. [2] Atanassov K.T. Intuitionistic Fuzzy Sets. Fuzzy Sets and Systems 20 (1), pp. 87-96, 1986. [3] Bera T., Mahapatra N.K. Introduction to neutrosophic soft topological spaces, Opsearch (March, 2017), DOI: 10.1007/s12597-017-0308-7. [4] Bera T., Mahapatra N.K. On neutrosophic soft topological space. Neutrosophic Sets and Systems 19 (1), pp. 3-15, 2018. [5] Bourbaki N. .General Topology. Springer Science and Business Media, 2020. [6] Broumi S., Talea M., Bakali A., Smarandache F. Single valued neutrosophic graphs. Journal of New theory 10, pp. 86-101, 2016.

[7] Cartan H. Théorie des filtres. Comptes Rendus de l’Academie´ des Sciences 205, pp. 595-598, 1937. [8] Chang C.L. Fuzzy Topological Spaces. Journal of Mathematical Analysis and Applications 24, pp. 182- 190, 1968. [9] Coker D. An Introduction to Intuitionistic Fuzzy Topological Spaces. Fuzzy Sets and Systems 88, pp. 81-89, 1997. [10] Engelking R. General Topology. Berlin: Heldermann Verlag, 1989. [11] Gemignani M.C. Elementary Topology. New York: Dover Publications Inc., 1990. [12] Latreche A., BarkatO., Milles S., Ismail F. Single valued neutrosophic mappings defined by single valued neutrosophic relations with applications. Neutrosophic Sets and Systems 1, pp. 203-220, 2020. [13] Mehmood A., Nordo G., Zamir M., Park C., Nazia H., Nadeem F., Shamona J. Soft b-separation axioms in neutrosophic soft topological structures. Annals of Fuzzy Mathematics and Informatics 18, pp. 93–105, 2019. [14] Mehmood A., Nadeem F., Nordo G., Zamir M., Park C., Kalsoom H., Jabeen S., Khan M.Y. Generalized neutrosophic separation axioms in neutrosophic soft topological spaces. Neutrosophic Sets and Systems 32 (1), pp. 38–51, 2020.

[15] Parimala M., Karthika M., Smarandache F., Broumi S., On αω-closed sets and itsconnectedness in terms of neutrosophic topological spaces, International Journal of Neutrosophic Science 2 (2), pp. 82-88, 2020. [16] Saber Y., Alsharari F., Smarandache F. On Single-Valued Neutrosophic Ideals in S¸ostak Sense. Symmetry 12 (2):193, 2020. [17] Salama A.A., Alblowi S.A. Neutrosophic Set and Neutrosophic Topological Spaces. ISOR Journal of Mathematics 3 (4), pp. 31-35, 2012. [18] Salama A.A., Alagamy H. Neutrosophic Filters. International Journal of Computer Science Engineering and Information Technologt Research 3 (1), pp. 307-312, 2013. [19] Salama A.A., Smarandache F., Kromov V. Neutrosophic Closed Set and Neutrosophic Continuous Func- tions, Neutrosophic Sets and Systems 4, pp- 4-8, 2014. [20] Smarandache F. A Unifying Field in Logics. Neutrosophy: Neutrosophic Probability, Set and Logic. Rehoboth: American Research Press, 1999.

13 [21] Wang H., Smarandache F., Zhang Y.Q., Sunderraman R. Single Valued Neutrosophic Sets. Technical Sciences and Applied Mathematics, pp. 10-14, 2012. [22] Zadeh L.A. Fuzzy Sets, Information and Control 8 (3), pp. 338-353, 1965.