The measure "M" is outer regular, and locally finite, and inner regular for open sets. It coincides with "m" on compact and open sets, and "m" can be reconstructed from "M" as the unique inner regular measure that is the same as "M" on compact sets. The measure "m" is called moderated if "M" is σ-finite; in this case the measures "m" and "M" are the same. (If "m" is σ-finite this does not imply that "M" is σ-finite, so being moderated is stronger than being σ-finite.)