x1 (set) is measurable and has measure x2 (li; non-negative real number or possibly positive infinity) by measure x3 in space/dimensionality/under conditions x4; x2 is the x3 measure of set x1 in space x4; x3 is a measure which is defined on some class of measurable sets in
x4 such that it maps x1 to x2