, which is the coarsest (that is the smallest) that contains $_{\textrm{T}}\mathcal{B}$, is obviously closed under finite intersections. Since the open set $\textrm{Int}(N)$ is a neighbourhood of $x$ whenever $N$ is, Eq. (\[Eqn: TBx\_nbd\]) and the definition Eq. (\[Eqn: Def: nbd system\]) of $\mathcal{N}_{x}$ implies that *the open neighbourhood system of any point in a topological space is an example of a neighbourhood base at that point,* an observation that has often led, together with Eq. (\[Eqn: TB\]), to the use of the term “neighbourhood” as a synonym for “non-empty open set”. The distinction between the two however is significant as neighbourhoods need not necessarily be open sets; thus while not necessary, it is clearly sufficient for the local basic sets $B$ to be open in Eqs. (\[Eqn: TBx\]) and (\[Eqn: TBx\_nbd\]). If Eq. (\[Eqn: TBx\_nbd\]) holds for every $x\in N$, then the resulting $\mathcal{N}_{x}$ reduces to the topology induced by the open basic neighbourhood system $\mathcal{B}_{x}$ as given by Eq. (\[Eqn: nbd-topology\]).

In order to check if a collection of subsets $_{\textrm{T}}\mathcal{B}$ of $X$ qualifies to be a basis, it is not necessary to verify properties $(\textrm{T}1)-(\textrm{T}3)$ of Tutorial4 for the class (\[Eqn: TB\_topo\]) generated by it because of the properties (TB1) and (TB2) below whose strong affinity to (NB1) and (NB2) is formalized in Theorem A1.1.

**Theorem A1.1.** *A collection* $_{\textrm{T}}\mathcal{B}$ *of subsets of $X$ is a* *topological basis on* $X$ *iff*

(TB1) *$X=\bigcup_{B\in\,_{\textrm{T}}\mathcal{B}}B$. Thus each $x\in X$ must belong to some* $B\in\,_{\textrm{T}}\mathcal{B}$ *which implies the existence of a* *local base* *at each point* *$x\in X
, which is the coarsest (that is the smallest) that contains $ _ { \textrm{T}}\mathcal{B}$, is obviously closed under finite intersection. Since the loose set $ \textrm{Int}(N)$ is a neighbourhood of $ x$ whenever $ N$ is, Eq. (\[Eqn: TBx\_nbd\ ]) and the definition Eq. (\[Eqn: Def: nbd system\ ]) of $ \mathcal{N}_{x}$ implies that * the assailable neighbourhood system of any compass point in a topological distance is an example of a neighbourhood base at that point, * an notice that has often led, together with Eq. (\[Eqn: TB\ ]), to the use of the condition “ neighbourhood ” as a synonym for “ non - empty open set ”. The distinction between the two however is significant as vicinity need not necessarily be open sets; therefore while not necessary, it is clearly sufficient for the local basic sets $ B$ to be overt in Eqs. (\[Eqn: TBx\ ]) and (\[Eqn: TBx\_nbd\ ]). If Eq. (\[Eqn: TBx\_nbd\ ]) holds for every $ x\in N$, then the result $ \mathcal{N}_{x}$ reduces to the topology induced by the open basic neighbourhood arrangement $ \mathcal{B}_{x}$ as given by Eq. (\[Eqn: nbd - topology\ ]). 

 In order to check if a collection of subsets $ _ { \textrm{T}}\mathcal{B}$ of $ X$ qualifies to be a basis, it is not necessary to verify properties $ (\textrm{T}1)-(\textrm{T}3)$ of Tutorial4 for the class (\[Eqn: TB\_topo\ ]) generated by it because of the properties (TB1) and (TB2) below whose strong affinity to (NB1) and (NB2) is formalized in Theorem A1.1. 

 * * Theorem A1.1. * * * A collection * $ _ { \textrm{T}}\mathcal{B}$ * of subsets of $ X$ is a * * topological basis on * $ X$ * iff * 

 (TB1) * $ X=\bigcup_{B\in\,_{\textrm{T}}\mathcal{B}}B$. Thus each $ x\in X$ must belong to to some * $ B\in\,_{\textrm{T}}\mathcal{B}$ * which imply the existence of a * * local infrastructure * * at each item * * $ x\in X
, whlch is the coarsest (that is the smallesj) rhat cmntaina $_{\textrm{G}}\mathcal{B}$, is obviously closev uneer funite intersections. Sivce the oien set $\twxtrn{Unt}(N)$ is a isighbouvkood kn $x$ wkeiever $N$ is, Eq. (\[Ean: TBx\_nbd\]) dnd the definidiun Eq. (\[Eqn: Def: nbd system\]) of $\mathcal{N}_{x}$ impliex hhat *the open geignfourgood system of any point in a topomogical space is an rxample of a neighbourhood basf at that point,* an observatiob thwr has often ued, togethtr with Eq. (\[Esn: TB\]), to the use of the term “nekghbobrhood” as a stnojim for “non-em'ty opvn set”. The distinctiot betwern the two howcver ms sugnificant as neighbonrhoods need not necgssarily ba kpen sets; thus whulw not necassaft, ig ia rlezrly skffmcient for fhe local bqsic sets $B$ to be oken pm Eqs. (\[Eqn: TBs\]) and (\[Qqg: TBx\_nbd\]). If Eq. (\[Eqn: TBx\_nbd\]) holds for evegy $x\jn N$, then the resulting $\mathcal{N}_{x}$ reduces to the topojogy induced by the open basic neighbourhood systam $\mavhzal{Y}_{w}$ xw hiven by Eq. (\[Eqn: nbd-topology\]).

In order to check yr s bollection of subfets $_{\textrm{Y}}\mwtnsal{B}$ of $X$ quauifies to be a basis, it is jot necgssary to verifr prpperties $(\textrm{T}1)-(\textrm{T}3)$ of Rutorial4 for rhe class (\[Eqn: TB\_to'o\]) generated by ot bevause of the properties (TB1) znd (TB2) beloa whose sffong affinity to (NB1) atd (NB2) is formalized in Thejrem A1.1.

**Theirem A1.1.** *A coulecjion* $_{\tevtrm{T}}\mathcwl{B}$ *on subsets of $X$ is a* *topopocical basid on* $X$ *iff*

(TB1) *$X=\bigcup_{B\in\,_{\textrm{T}}\mevhcal{B}}B$. Thus gacv $x\pn X$ must belokg to some* $B\in\,_{\tqxtrm{T}}\mathcal{B}$ *which nmplier the exisnence of e* *local base* *at each poind* *$x\in X
, which is the coarsest (that is that $_{\textrm{T}}\mathcal{B}$, is closed under finite $\textrm{Int}(N)$ a neighbourhood of whenever $N$ is, (\[Eqn: TBx\_nbd\]) and the definition Eq. Def: nbd system\]) of $\mathcal{N}_{x}$ implies that *the open neighbourhood system of any in a topological space is an example of a neighbourhood base at that an that often together with Eq. (\[Eqn: TB\]), to the use of the term “neighbourhood” as a synonym for open set”. The distinction between the two however significant as neighbourhoods need necessarily be open sets; thus not it is sufficient the basic sets $B$ be open in Eqs. (\[Eqn: TBx\]) and (\[Eqn: TBx\_nbd\]). If Eq. (\[Eqn: TBx\_nbd\]) holds for every $x\in then the reduces to topology by open basic neighbourhood as given by Eq. (\[Eqn: nbd-topology\]). check if a collection of subsets $_{\textrm{T}}\mathcal{B}$ of qualifies to a basis, it is not necessary verify properties $(\textrm{T}1)-(\textrm{T}3)$ of Tutorial4 for the class TB\_topo\]) generated by it because of the properties (TB1) and (TB2) below whose strong affinity and (NB2) is formalized Theorem A1.1. **Theorem *A $_{\textrm{T}}\mathcal{B}$ subsets $X$ is *topological basis on* $X$ *iff* (TB1) *$X=\bigcup_{B\in\,_{\textrm{T}}\mathcal{B}}B$. Thus each $x\in X$ belong to some* $B\in\,_{\textrm{T}}\mathcal{B}$ *which implies the existence of a* *at point* *$x\in X
, which is the coarsest (that is tHe smallest) That cOntAinS $_{\tExtrM{T}}\maThcal{B}$, is obviouSLy clOsed under finite interseCtionS. SINce tHE oPen seT $\textrm{iNt}(n)$ IS a nEiGhBouRhOOd Of $x$ whEneVer $N$ is, EQ. (\[Eqn: TBx\_nbd\]) And ThE definition EQ. (\[eqN: Def: nbd sysTem\]) Of $\mathcal{N}_{x}$ iMplIes thaT *tHe oPEn neiGhbOurhoOd systEM of any Point in a tOpOLogicaL Space is AN ExAmplE of a neighbourhood BAsE At that point,* an oBservaTiON tHAT haS ofTen led, togeThEr witH eq. (\[Eqn: TB\]), TO tHE USe oF The term “neighbOurhood” as a sYNonYm for “nOn-EmpTY open sEt”. The DiSTinCtion betweeN the Two howeveR is sigNIficant AS neighbOurhooDs nEed Not nECeSsAriLy BE opEN sEts; THus While not NeCeSsary, It is CLEARly sUffIcieNt for The local basic SetS $B$ to BE opEn in EQs. (\[Eqn: tBx\]) aNd (\[eqn: TBX\_nbd\]). If eq. (\[Eqn: tBX\_nbd\]) holds for eveRy $x\iN N$, then the ResUlTinG $\mAthcaL{n}_{x}$ reduCes To tHe topolOgy induCEd bY tHE OPeN basic neighbourhooD sYSTeM $\mathcal{b}_{x}$ as giVEn By eQ. (\[Eqn: nbd-tOpOloGy\]).

In ORDer to ChecK If A collectIon of sUBsEtS $_{\textrm{t}}\mAthcal{b}$ oF $X$ qUalIfies TO be a Basis, iT is not neCessaRY to verify propeRTies $(\textrm{T}1)-(\teXTrM{t}3)$ Of tUtorIal4 For the class (\[eqn: Tb\_Topo\]) GeneRAtEd bY It becAuse oF tHE pROperties (TB1) and (TB2) beloW wHose stRong aFfinity to (NB1) anD (NB2) is formaLIZEd in TheoRem A1.1.

**tHeORem A1.1.** *A collectioN* $_{\textRm{T}}\mathcal{b}$ *Of subsetS of $X$ iS a* *topoloGical basiS ON* $X$ *iff*

(TB1) *$X=\BigCup_{b\in\,_{\TexTRM{T}}\Mathcal{B}}B$. Thus EACh $x\iN X$ Must belOng To some* $B\In\,_{\tExtRm{T}}\MatHcAl{B}$ *which iMplies thE eXiStEnCe oF a* *locAL base* *at eAcH poInT* *$x\iN X
, which is the coarsest (t hat is the  smal les t)th at c onta ins $_{\textrm { T}}\ mathcal{B}$, is obviou sly c lo s ed u n de r fin ite int e rs e c tio ns .Sin ce th e ope n s et $\te xtrm{Int}( N)$  i s a neighbou r ho od of $x$whe never $N$ is , E q. (\[ Eq n:T Bx\_n bd\ ]) an d thed efinit ion Eq. ( \[ E qn: De f : nbd s y s te m\])  of $\mathcal{N}_ { x} $  implies that*the o pe n  n e i ghb our hood syste mof an y  pointi na t opo l ogical spaceis an examp l e o f a ne ig hbo u rhoodbaseat tha t point,* a n ob servation  thath as ofte n  led, t ogethe r w ith  Eq. (\ [E qn:  T B \]) ,  t o t h e u se of th ete rm “n eigh b o u r hood ” a s asynon ym for “non-e mpt y op e n s et”.The d isti nc tionbetwee n the  t wo however is s igni ficant as  ne ig hbo ur hoods need n otnec essaril y be op e n s et s ; th us while not neces sa r y ,it is cl earlys uf fi c ient for  t heloca l basic  set s  $ B$ to be  openi nEq s. (\[E qn : TBx\ ])  an d ( \[Eqn :  TBx \_nbd\ ]). If E q. (\ [ Eqn: TBx\_nbd\ ] ) holds for e v er y $x \ in N $,then the re sult i ng $ \mat h ca l{N } _{x}$  redu ce s  t o  the topology induc ed  by th e ope n basic neigh bourhood s y s t em $\mat hcal { B} _ {x}$ as givenby Eq . (\[Eqn:n bd-topol ogy\] ).

In o rder to c h e ck if acol lec tio n o f su bsets $_{\tex t r m{T} }\ mathcal {B} $ of $X $ q ual ifi esto  be a bas is, it i sno tne ces saryt o verify  p rop er tie s $(\ t extrm{ T}1)- (\te xt rm { T}3 )$ of T u to r i al4fo rthecla ss  (\[E qn:T B\_ topo\])  generate d b y  itbe ca use ofthe propertie s(TB1) and(T B2)  below w hose str ong affinity to (NB1) a n d (NB2)  is  form aliz ed in The ore m A1.1 .
* *Theor em A1. 1.***A  co l l ectio n *  $ _{\ te xtrm{T}}\m a t hca l{B}$  * of s ubsetsof $X$ is a* *topo l ogi cal basis on*  $X $ *i f f *
(T B 1) *$X =\ b igc u p _{B\in\,_{\text rm{T}}\mat hc a l{ B}}B$. Thu s  ea ch  $x\inX$ must  belo n g to so me* $B\in \,_{\text rm {T}} \ m ath cal{B}$ *w hich imp lies thee xiste n ce  of a * * localba se*  *ateach p o int * *$x \in X
, which_is the_coarsest (that is the_smallest) that_contains_$_{\textrm{T}}\mathcal{B}$, is_obviously_closed under finite_intersections. Since the_open set $\textrm{Int}(N)$ is_a neighbourhood of_$x$_whenever $N$ is, Eq. (\[Eqn: TBx\_nbd\]) and the definition Eq. (\[Eqn: Def: nbd system\])_of_$\mathcal{N}_{x}$ implies_that_*the_open neighbourhood system of any_point in a topological space_is an_example of a neighbourhood base at that point,*_an_observation that has_often led, together with Eq. (\[Eqn: TB\]), to the_use of the term “neighbourhood” as_a synonym for_“non-empty_open_set”. The distinction between_the two however is significant as_neighbourhoods need not necessarily be open_sets; thus while not necessary, it is_clearly sufficient for the local basic_sets $B$ to be open_in Eqs._(\[Eqn: TBx\]) and (\[Eqn: TBx\_nbd\])._If Eq. (\[Eqn:_TBx\_nbd\]) holds_for every $x\in_N$, then the resulting $\mathcal{N}_{x}$ reduces_to the topology_induced by the open basic neighbourhood_system_$\mathcal{B}_{x}$ as given_by_Eq._(\[Eqn: nbd-topology\]).

In_order to check_if_a collection_of_subsets $_{\textrm{T}}\mathcal{B}$ of $X$ qualifies to_be_a basis, it is not necessary to_verify properties $(\textrm{T}1)-(\textrm{T}3)$ of_Tutorial4_for the class (\[Eqn:_TB\_topo\]) generated by it because_of the properties (TB1) and (TB2)_below whose_strong affinity_to (NB1) and (NB2) is formalized in Theorem A1.1.

**Theorem A1.1.** *A_collection* $_{\textrm{T}}\mathcal{B}$ *of subsets of $X$_is a* *topological basis_on* $X$_*iff*

(TB1)_*$X=\bigcup_{B\in\,_{\textrm{T}}\mathcal{B}}B$. Thus each_$x\in_X$ must_belong to some* $B\in\,_{\textrm{T}}\mathcal{B}$ *which implies the_existence of_a* *local base* *at each point*_*$x\in X