noun

• 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.