A note on product of measures
A slight modification to Halmos' definition of product of measures yields a uniquely characterized associative product. The operation applies to arbitrary (not necessarily $σ-$finite) measures and is consistent with the Fubini--Tonelli theorem.
math.FA↗