diminution
noun
°A lessening, decrease or reduction.
"The new emission standards have produced a measurable diminution in air pollution."
°(music) The shortening of the notes of a melody or theme.