to­po­lo­gi­nen

Määritellään joukon topologisen moniston struktuuriksi laskennallinen joukko : n alijoukkoja , missä , ja bijektiivisiä kuvauksia , jotka toteuttavat seuraavat kolme aksioomaa.

Jatkuvuus topologisissa avaruuksissa Funktio , missä ja ovat topologisia avaruuksia, on jatkuva pisteessä , jos ja vain jos jokaista pisteen ympäristöä kohti on olemassa pisteen ympäristö siten, että .