diminution

Short definition from Wiktionary

Noun

1. 1
   A lessening, decrease or reduction.
2. 2
   The act or process of making diminutive.
3. 3
   a compositional technique where the composer shortens the melody by shortening its note values.