Pero la extensión reconstructiva recién presentada es, exactamente, el espacio de Banach con su estructura monoidal.