DIMINUITION, in Music, is the abating something of the full value or quantity of any note.