∫を狽ゥら定義したように、�Uを以下のように定義する。
�U[a,b]f(x)=exp[∫[a,b]log(f(x))dx]

意味は、Πを連続化したもの。

�U[a,b]f(x)=�U[a,c]f(x) * �U[c,b]f(x)
�U[a,b]f(x)=1/�U[b,a]f(x)
�U[a,a]f(x)=0
�U[a,b]c=c^(b-a) (cは定数)

等を満たす。