Cada subconjunto "A" de un espacio topológico "X" contiene a un (tal vez vacío) conjunto abierto; el más grande de tales conjuntos abiertos se llama el interior de "A".