diminution

noun3

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.