What is the meaning of Diminution?

A lessening, decrease or reduction.

The act or process of making diminutive.

a compositional technique where the composer shortens the melody by shortening its note values.

diminution, abatement

decrease

Source: wiktionary.org