  Recently, it has been shown constructively how a finite set of hypergeometric
products, multibasic hypergeometric products or their mixed versions can be
modeled properly in the setting of formal difference rings. Here special
emphasis is put on robust constructions: whenever further products have to be
considered, one can reuse --up to some mild modifications-- the already
existing difference ring. In this article we relax this robustness criteria and
seek for another form of optimality. We will elaborate a general framework to
represent a finite set of products in a formal difference ring where the number
of transcendental product generators is minimal. As a bonus we are able to
describe explicitly all relations among the given input products.
