Se define inductivamente el producto de formula_46 como