Mejorada definición de base de entornos
Añadida definición top. cofinita
Quitando trailing whitespace.
Apuntes Topologia I 27/11/2014