Троп, состоящий в употреблении слова или выражения в смысле обратном буквальному с целью насмешки. Отколе, умная, бредешь ты, голова! (Крылов) (в обращении к ослу).
Значение слова ИРОНИЯ в Словаре лингвистических терминов
Что такое ИРОНИЯ
Словарь лингвистических терминов. 2012