>>549
有限加法的測度を多く使うような数学だったら、後者の定義の方がよいわけだな。