A note on product of measures
arXiv:1810.11485
Abstract
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.