Ero sivun ”Kanta” versioiden välillä

** [[Kanta (topologia)|kanta]], <math>\mathcal{B}</math>, [[Topologia (matematiikka)|topologiassa]] sellainen kokoelma [[Topologinen avaruus | topologisen avaruuden]] <math>(X,T)</math> osajoukkoja, että kaikki <math>X</math>:n [[Avoin joukko | avoimet]] osajoukot voidaan lausua <math>\mathcal{B}</math>:n alkioiden yhdisteenä. Jotta jokin kokoelma olisi topologian kanta on riittävää ja välttämätöntä, että kokoelma on kyseisen avaruuden peite, ja jos mielivaltainen avaruuden piste <math>x</math> kuuluu kahteen kokoelman osajoukon leikkaukseen <math>B_1 \cap B_2</math>, on tässä leikkauksessa olemassa osajoukkona eräs kannan alkio <math>B_3</math> jolle <math>x \in B_3 \subset B_1 \cap B_2</math><!--Tästä pitäisi varmaankin tehdä erillinen artikkeli ja jättää tähän vain lyhyt määritelmä. Näin pitkä selitys ei kuulu täsmennyssivulle, mutta olkoon tässä toistaiseksi niin kauan kun erillistä artikkelia ei ole.-->