Complex function on a measurable space that is piecewise constant with a finite number of measurable regions