Usando la topología del subespacio para los subconjuntos de esos productos, uno puede entonces demostrar que formula_1 es una categoría completa.