Uno comienza con un conjunto arbitrario "X" y una familia de subconjuntos de "X" que satisfacen ciertas propiedades que cada noción "razonable" de apertura se supone tener.