Topologi
Fra Wikipedia, den frie encyklopædi
Topologi (fra græsk topos "sted" og logos "læren om")
Givet en mængde, M, så er en topologi på M et system T af delmængder af M, hvorom der gælder, at
(i) M ogtilhører T (ii) hvis A og B tilhører T, så gør
det også - altså er T fællesmængdestabil (iii) foreningsmængden af et vilkårligt delsystem af T tilhører T - T er altså stabil over for forening
En mængde A, der tilhører topologien T, kaldes åben.
Den mindste topologi på en mængde M, er 
Den største topologi på en mængde M er potensmængden af M,
(systemet af samtlige delmængder af M).
tilhører
det også - altså er 
