I see, so 2 aggregate functions f(x,y) and g(x,y) are equivalent if there exists a 'translation' t such that
f(x,y)= t^{-1} \circ g( tx, ty)
product is equivalent to addition by setting t=log
max is equivalent to addition by setting t: x \mapsto x^\infty
etc
and we are trying to...