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
- M og
tilhører T - hvis A og B tilhører T, så gør
det også - altså er T fællesmængdestabil - 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).
