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