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