Sea ${\displaystyle (X,{\mathcal {T}})}$ un espacio topológico, y ${\displaystyle A\subset X}$. Se define el interior de ${\displaystyle A}$ (notado ${\displaystyle {\text{int}}(A)}$, ${\displaystyle {\stackrel {\ \circ }{A}}}$, o ${\displaystyle A^{\circ }}$) como la unión de todos los abiertos contenidos en ${\displaystyle A}$.^[1]​ Es decir, ${\displaystyle V={\mbox{int}}(A)}$ si y solo si V es abierto, está contenido en A y todo otro abierto contenido en A está contenido también en ${\displaystyle V}$ (ver #Ejemplos).