b'\n_START_ARTICLE_\nInterior (topolog\xc3\xada)\n_START_PARAGRAPH_\nSea  un espacio topol\xc3\xb3gico, y . Se define el interior de  (notado , , o ) como la uni\xc3\xb3n de todos los abiertos contenidos en .\xe2\x80\x8b Es decir,  si y solo si es V es abierto, est\xc3\xa1 contenido en A y todo otro abierto contenido en A est\xc3\xa1 contenido tambi\xc3\xa9n en  (ver #Ejemplos).\n_START_SECTION_\nCaracterizaci\xc3\xb3n\n_START_PARAGRAPH_\nConstructivamente, se define . Notar que esta construcci\xc3\xb3n garantiza la existencia de este abierto maximal, pues la uni\xc3\xb3n de abiertos es un abierto y el conjunto vac\xc3\xado siempre est\xc3\xa1 contenido en A.\n_START_SECTION_\nEjemplo elemental sobre la recta real\n_START_PARAGRAPH_\nEl interior del conjunto en forma de intervalo  es precisamente , se puede ver que ese conjunto es abierto y contenido en I, por tanto la uni\xc3\xb3n de cualquier colecci\xc3\xb3n numerable de subintervalos abiertos de I de la forma  con  ser\xc3\xa1 de la forma:_NEWLINE_Dado que todos ellos est\xc3\xa1n incluidos en , por otra parte el conjunto  no es abierto, y por esa raz\xc3\xb3n el mayor conjunto abierto posible contenido en \xc3\xa9l es . Para completar los detalles de la prueba habr\xc3\xada que ver que cualquier subconjunto abierto de  est\xc3\xa1 contenido en , cosa que es sencilla probando que cualquier conjunto de abierto contenido en  es una uni\xc3\xb3nde intervalos de la forma  (con la condici\xc3\xb3n de que )._NEWLINE_De manera similar se puede demostrar que , que  o que  (en este caso el propio conjunto es su interior).'