 the sequential notation $\chi_{\alpha}$ that can also be found in the literature. Thus, while every sequence is a special type of net, $\chi:\!\mathbb{Z}\rightarrow X$ is an example of a net that is not a sequence.

Convergence of sequences and nets are described most conveniently in terms of the notions of being *eventually in* and *frequently in* every neighbourhood of points. We describe these concepts in terms of nets which apply to sequences with obvious modifications.

**Definition A1.6.** *A net* $\chi\!:\mathbb{D}\rightarrow X$ *is said to be*

\(a) *Eventually in* *a subset $A$* *of* *$X$ if its tail is eventually in $A$*: *$(\exists\beta\in\mathbb{D})\!:(\forall\gamma\succeq\beta)(\chi(\gamma)\in A).$*

\(b) *Frequently in* *a subset $A$* *of* *$X$ if for any index $\beta\in\mathbb{D}$, there is a successor index $\gamma\in\mathbb{D}$ such that $\chi(\gamma)$* is in $A$: *$(\forall\beta\in\mathbb{D})(\exists\gamma\succeq\beta)\!:(\chi(\gamma)\in A).\qquad\square$*

It is not difficult to appreciate that

\(i) A net eventually in a subset is also frequently in it but not conversely,

\(ii) A net eventually (respectively, frequently) in a subset cannot be frequently (respectively, eventually) in its complement.

With these notions of eventually in and frequently in, convergence characteristics of a net may be expressed as follows.

**Definition A1.7.** *A net* *$\chi\!:\mathbb{D}\rightarrow X$ converges to $x\in X$ if it is eventually in every neighbourhood of $x$, that is* $$(\forall N\in\mathcal{N}_{x})(\exists\mu\in\mathbb{D})(\chi(\nu\succeq\mu)\in N).$$ *The point $x$ is known as the* *limit* *of $\chi$ and the collection of all limits of a net is the* *limit set* $$\textrm{lim}(\chi)=\{ x\in
the sequential notation $ \chi_{\alpha}$ that can also be found in the literature. therefore, while every succession is a extra type of net, $ \chi:\!\mathbb{Z}\rightarrow X$ is an exemplar of a net that is not a sequence. 

 Convergence of succession and net are described about handily in terms of the notions of being * finally in * and * frequently in * every neighbourhood of points. We trace these concept in terms of nets which lend oneself to sequences with obvious modifications. 

 * * Definition A1.6. * * * A internet * $ \chi\!:\mathbb{D}\rightarrow X$ * is said to be * 

 \(a) * Eventually in * * a subset $ A$ * * of * * $ X$ if its tail is finally in $ A$ *: * $ (\exists\beta\in\mathbb{D})\!:(\forall\gamma\succeq\beta)(\chi(\gamma)\in A).$ * 

 \(b) * Frequently in * * a subset $ A$ * * of * * $ X$ if for any index $ \beta\in\mathbb{D}$, there is a successor exponent $ \gamma\in\mathbb{D}$ such that $ \chi(\gamma)$ * is in $ A$: * $ (\forall\beta\in\mathbb{D})(\exists\gamma\succeq\beta)\!:(\chi(\gamma)\in A).\qquad\square$ * 

 It is not difficult to prize that 

 \(i) A net eventually in a subset is also frequently in it but not conversely, 

 \(ii) A net eventually (respectively, frequently) in a subset cannot be frequently (respectively, eventually) in its complement. 

 With these notion of eventually in and frequently in, convergence characteristics of a net may be expressed as follows. 

 * * Definition A1.7. * * * A net * * $ \chi\!:\mathbb{D}\rightarrow X$ converges to $ x\in X$ if it is eventually in every neighbourhood of $ x$, that is * $ $ (\forall N\in\mathcal{N}_{x})(\exists\mu\in\mathbb{D})(\chi(\nu\succeq\mu)\in N).$$ * The point $ x$ is known as the * * limit * * of $ \chi$ and the collection of all limits of a net is the * * limit set * $ $ \textrm{lim}(\chi)=\ { x\in
 thf sequential notation $\chl_{\alpha}$ that can coso be found in the uiterature. Thus, while every dewuenct is a special type of net, $\cji:\!\mathbb{Z}\rigitarrow X$ is an xsample of a nsb thac ms not a sequenge.

Convergenwe of sequencev xnb nets are described most convenientjy in trrls of the notijns ps bejng *eventually in* and *frequently ih* every neighbourhooc of points. We describe thfse foncepts in terms lf nets whixh a[ply to sequevces with obvious modirications.

**Definition A1.6.** *A net* $\chi\!:\oathby{D}\rightarroq Z$ *id said to be*

\(e) *Evennually in* *a smnset $A$* *of* *$X$ ig its tail is cventnallt in $A$*: *$(\exists\beta\in\mavhbb{D})\!:(\forall\gamma\succgq\beta)(\chi(\gdmja)\in A).$*

\(b) *Frequentlt un* *a vubsat $A$* *if* *$B$ ir hor any ijdee $\beta\in\matgbb{D}$, there us a successor indec $\dqmma\in\mathbb{D}$ such ehwt $\chi(\gamma)$* is in $A$: *$(\forall\beta\in\mathbb{D})(\txista\gamma\succeq\beta)\!:(\chi(\gammq)\in A).\qquad\square$*

It is not diffycult to appreciate that

\(i) A net eventually in a sgbset ks coso ffwqkently in it but not conversely,

\(ii) A net eventtzlky (respectively, nrequently) in a sunsft sannot be freduentlv (rsspectively, eventuwlly) in its xomplemenu.

With these notions of eventuallt in and frezyently in, convergeuce charactexisticx of s net may be expressed cs folmows.

**Definitlon A1.7.** *A nsg* *$\chi\!:\mathbb{D}\righgargow F$ converges to $x\in X$ if it is eventnally in evefy ngighbouwhood of $x$, that is* $$(\forall N\in\mathcwl{N}_{x})(\erists\ku\in\mathbb{F})(\chi(\nu\succeq\mu)\in N).$$ *The point $x$ mx known as tne* *likit* *of $\cki$ and the collectijn of all limijs of a nzt is ghe* *limit aet* $$\texvrm{lim}(\chi)=\{ x\ig
the sequential notation $\chi_{\alpha}$ that can also in literature. Thus, every sequence is $\chi:\!\mathbb{Z}\rightarrow is an example a net that not a sequence. Convergence of sequences nets are described most conveniently in terms of the notions of being *eventually and *frequently in* every neighbourhood of points. We describe these concepts in terms nets apply sequences obvious modifications. **Definition A1.6.** *A net* $\chi\!:\mathbb{D}\rightarrow X$ *is said to be* \(a) *Eventually in* *a $A$* *of* *$X$ if its tail is eventually $A$*: *$(\exists\beta\in\mathbb{D})\!:(\forall\gamma\succeq\beta)(\chi(\gamma)\in A).$* \(b) in* *a subset $A$* *of* if any index there a index $\gamma\in\mathbb{D}$ such $\chi(\gamma)$* is in $A$: *$(\forall\beta\in\mathbb{D})(\exists\gamma\succeq\beta)\!:(\chi(\gamma)\in A).\qquad\square$* It is not difficult to appreciate that \(i) A net eventually a subset frequently in but conversely, A net eventually in a subset cannot be frequently its complement. With these notions of eventually in frequently in, characteristics of a net may be as follows. **Definition A1.7.** *A net* *$\chi\!:\mathbb{D}\rightarrow X$ to $x\in X$ if it is eventually in every neighbourhood of $x$, that is* $$(\forall *The point $x$ is as the* *limit* $\chi$ the of limits of net is the* *limit set* $$\textrm{lim}(\chi)=\{ x\in
 the sequential notation $\chi_{\aLpha}$ that caN also Be fOunD iN the LiteRature. Thus, whilE EverY sequence is a special typE of neT, $\cHI:\!\matHBb{z}\righTarrow X$ IS aN EXamPlE oF a nEt THaT is noT a sEquence.

convergencE of SeQuences and neTS aRe describeD moSt convenientLy iN terms Of The NOtionS of Being *EventuALly in* aNd *frequenTlY In* everY NeighboURHoOd of Points. We describe tHEsE Concepts in termS of netS wHIcH APplY to Sequences wItH obviOUs modifICaTIONs.

**DEFinition A1.6.** *A net* $\Chi\!:\mathbb{D}\rIGhtArrow X$ *Is SaiD To be*

\(a) *EVentuAlLY in* *A subset $A$* *of* *$X$ If itS tail is evEntualLY in $A$*: *$(\exiSTs\beta\iN\mathbB{D})\!:(\fOraLl\gaMMa\SuCceQ\bETa)(\cHI(\gAmmA)\In A).$*

\(B) *FrequenTlY iN* *a subSet $A$* *OF* *$x$ IF for Any IndeX $\beta\In\mathbb{D}$, therE is A sucCEssOr indEx $\gamMa\in\MaThbb{D}$ Such thAt $\chi(\GaMma)$* is in $A$: *$(\forall\bEta\iN\mathbb{D})(\eXisTs\GamMa\SucceQ\Beta)\!:(\chI(\gaMma)\In A).\qquaD\square$*

iT is NoT DIFfIcult to appreciate tHaT

\(I) a nEt eventuAlly in A SuBsET is also fReQueNtly IN It but Not cONvErsely,

\(ii) a net evENtUaLly (respEcTively, FrEquEntLy) in a SUbseT cannoT be frequEntly (REspectively, eveNTually) in its coMPlEMEnT.

with TheSe notions of EvenTUallY in aND fReqUEntly In, conVeRGeNCe characteristics of A nEt may bE exprEssed as followS.

**DefinitioN a1.7.** *a Net* *$\chi\!:\maThbb{d}\RiGHtarrow X$ converGes to $X\in X$ if it is EVentuallY in evEry neighBourhood oF $X$, That is* $$(\foRalL N\iN\maThcAL{n}_{x})(\Exists\mu\in\matHBB{D})(\chI(\nU\succeq\Mu)\iN N).$$ *The poInt $X$ is KnoWn aS tHe* *limit* *of $\Chi$ and thE cOlLeCtIon Of all LImits of a NeT is ThE* *liMit seT* $$\Textrm{Lim}(\chI)=\{ x\in
 the sequential notation $ \chi_{\alp ha}$tha t c an  als o be  found in thel iter ature. Thus, while eve ry se qu e ncei sa spe cial ty p eo f  ne t,  $ \ch i: \ !\ mathb b{Z }\right arrow X$ i s a nexample of a ne t that isnot  a sequence. 

C onverg en ceo f seq uen ces a nd net s  are d escribedmo s t conv e niently i nterm s of the notionso fb eing *eventual ly in*  a n d* f req uen tly in* ev er y nei g hbourho o do f poi n ts. We descri be these co n cep ts inte rms of net s whi ch app ly to seque nces  with obv ious m o dificat i ons.

* *Defin iti onA1.6 . **  * A n et *  $\ c hi \!: \ mat hbb{D}\r ig ht arrow  X$* i s said  to  be* 

\(a ) *Eventually  in * *a sub set $ A$* * of**$ X$ if  its t ail i seventually in $ A$*:  *$(\exis ts\ be ta\ in \math b b{D})\ !:( \fo rall\ga mma\suc c eq\ be t a ) (\ chi(\gamma)\in A). $* \( b) *Freq uently in ** a subset  $ A$*  *of * *$X$if f o rany inde x $\be t a\ in \mathbb {D }$, th er e i s a  succ e ssor  index  $\gamma \in\m a thbb{D}$ sucht hat $\chi(\ga m ma ) $ *i s in  $A $: *$(\fora ll\b e ta\i n\ma t hb b{D } )(\ex ists\ ga m ma \ succeq\beta)\!:(\ch i( \gamma )\inA).\qquad\squ are$*

Iti s not diff icul t  t o  appreciate th at

\ (i) A nete ventuall y ina subset  is alsof r equently  in  it  bu t n o t  c onversely,

\ ( i i) A  n et even tua lly (re spe cti vel y,fr equently)  in a su bs et  c an not  be f r equently  ( res pe cti vely, eventu ally)  init sc omp lement. 
W i t h th es enoti ons  o f eve ntua l lyin andfrequentl y i n , co nv er gence c haracteristic sof a net m ay  be  expre s s ed as fo llows.

**Definition A1 . 7.** *A  ne t* *$ \chi \!:\mathb b{D }\righ tar r ow X$conver ges t o$x\ i n  X$ i f it  is  e ventuallyi n  ev ery n ei ghbo urhoodof $x$, that is* $ $ (\f orall N\in\ma thc al{N } _ {x })( \ ex i sts \m u \in \ m athbb{D})(\chi( \nu\succeq \m u )\ in N).$$ * T hepo int $x$  is kno wn as the* *l imit* *of  $\chi$ a nd  the c oll ection ofall limi ts of a n e t ist he * *li mit  set*$$ \te xtrm{ lim}(\ c hi) =\{ x \in
 the_sequential notation_$\chi_{\alpha}$ that can also_be found_in_the literature._Thus,_while every sequence_is a special_type of net, $\chi:\!\mathbb{Z}\rightarrow_X$ is an_example_of a net that is not a sequence.

Convergence of sequences and nets are described_most_conveniently in_terms_of_the notions of being *eventually_in* and *frequently in* every_neighbourhood of_points. We describe these concepts in terms of_nets_which apply to_sequences with obvious modifications.

**Definition A1.6.** *A net* $\chi\!:\mathbb{D}\rightarrow X$_*is said to be*

\(a) *Eventually in*_*a subset $A$*_*of*_*$X$_if its tail is_eventually in $A$*: *$(\exists\beta\in\mathbb{D})\!:(\forall\gamma\succeq\beta)(\chi(\gamma)\in A).$*

\(b) *Frequently_in* *a subset $A$* *of* *$X$_if for any index $\beta\in\mathbb{D}$, there is_a successor index $\gamma\in\mathbb{D}$ such that_$\chi(\gamma)$* is in $A$: *$(\forall\beta\in\mathbb{D})(\exists\gamma\succeq\beta)\!:(\chi(\gamma)\in_A).\qquad\square$*

It is_not difficult to appreciate that

\(i)_A net eventually_in a_subset is also_frequently in it but not conversely,

\(ii)_A net eventually_(respectively, frequently) in a subset cannot_be_frequently (respectively, eventually)_in_its_complement.

With these_notions of eventually_in_and frequently_in,_convergence characteristics of a net may_be_expressed as follows.

**Definition A1.7.** *A net* *$\chi\!:\mathbb{D}\rightarrow_X$ converges to $x\in_X$_if it is eventually_in every neighbourhood of $x$,_that is* $$(\forall N\in\mathcal{N}_{x})(\exists\mu\in\mathbb{D})(\chi(\nu\succeq\mu)\in N).$$ *The_point $x$_is known_as the* *limit* *of $\chi$ and the collection of all limits_of a net is the* *limit_set* $$\textrm{lim}(\chi)=\{ x\in