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