I matematikken består det indre af en mængde S af alle de elementer i S, som, intuitivt, "ikke ligger på randen af S". Et punkt, der ligger i det indre af S kaldes et indre punkt.
Det ydre af en mængde det indre af mængdens komplement; det består af alle punkter, der ikke ligger i mængden eller på dens rand.
Begrebet "det indre af en mængde" er et topologisk koncept; det er ikke defineret for alle mængder, men det er defineret for mængder, der er delmængder af et topologisk rum. Det er på mange måder dualt til begrebet afslutning; specielt er de to begreber duale i kategoriteoretisk forstand.