结构推理 任取一个有限的左开右闭区间(a，b](a<b)，那么R₀∩(a，b]是由(a，b]的某些子集所成的代数，当我们把m限制在R₀∩(a，b]上时，它首先是个测度