Diminution

noun

1. A lessening, decrease or reduction.

   "The new emission standards have produced a measurable diminution in air pollution."

2. The act or process of making diminutive.
3. A compositional technique where the composer shortens the melody by shortening its note values.