que es una familia de conjuntos para la que el conjunto de sus intersecciones finitas forma una