Esto condicionará la forma de los abiertos "V" de la topología producto: todo abierto debe verificar que formula_13 para todos los índices salvo para un conjunto finito, pues debe contener un abierto básico que se proyecta de esta forma.