In Western music and music theory, diminution has four distinct meanings. Diminution may be a form of embellishment in which a long note is divided into a series of shorter, usually melodic, values. Wikipedia