Wiktionary
diminished interval
n. (context music English) an interval that is decreased from either a minor interval or a perfect interval