En er i topologi intuitivt sett en mengde som er slik at hvis man starter i et hvilket som helst punkt i , så kan man alltid bevege seg et lite stykke i en hvilken som helst retning fra og fremdeles befinne seg i . En åpen mengde kan også defineres som en mengde som ikke inneholder sine egne randpunkter.