Diminution


A word sometimes used instead of difference.