diminution

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.