La aplicación formula_16 es abierta por ser una proyección en un producto cartesiano y "B" tiene la topología cociente.