Existe un modo alternativo de generar una topología a partir de una familia arbitraria de subconjuntos, usando intersecciones finitas además de las uniones arbitrarias.