Nociones topológicas en colecciones

A partir de la noción topológica de interior, se extiende la noción de abierto a colecciones arbitrarias de subconjuntos de un conjunto referencial y se estudia la estructura algebraica de las colecciones de abiertos asociados con cada colección. Identificando como “pretopologías” a las colecciones que cumplen las propiedades de las colecciones de abiertos, se presentan como una categoría que refina la categoría (Col) de colecciones sobre un conjunto